Clearly, in an effort to improve compatibility with C, data types consisting entirely of nullary constructors are now implicitly interpreted as type synonyms for Int. An upcoming version will similarly improve compatibility with Java by wrapping all values of type Maybe a in an implicit fromJust.

Eventually compatibility with C++ will be improved by adding an arcane Turing-complete compile-time template system that produces baffling error messages. Er, wait.