On: Translating Haskell to C++ metaprogramming

[saurik]

FWIW, I think the person you are responding to is using the non-Haskell requested mental syntax used by the person who asked the original question, in order so they better understand the semantics (even if at a cost of confusing them for later development in Haskell).

[Nullabillity → saurik]

Yup. They're distinct types, but mentally they are the same (and the standard library has functions to convert between the two forms).