You're right: the type I've implemented is not equivalent to Haskell's Maybe, which is a kind of Union type.
-- John On Jul 31, 2014, at 7:35 AM, Júlio Hoffimann <[email protected]> wrote: > As far as I remember, Haskell's Maybe is closer to Boost.Variant or > discriminated unions in general. > > Anyways, good to know about this effort. > > Júlio.
