I think the obvious implementation is `maybe (Left False) (maybe (Left True) Rig... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

dllthomas on Dec 11, 2018 | parent | context | favorite | on: Maybe Not [video]

I think the obvious implementation is `maybe (Left False) (maybe (Left True) Right)`

If we have a value then we clearly have both layers. If we don't have a value then we need to distinguish Nothing from Just Nothing by way of the book.

JadeNB on Dec 13, 2018 [–]

Oh, I see; we're thinking of `Maybe a` as `a + ()`, and then identifying `(a + ()) + ()` with `a + (() + ())` and then `() + ()` with `Bool`. Thanks!

dllthomas on Dec 18, 2018 | [–]

Right, exactly!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact