3 ms·

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 v

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 8y ago
Oh, I see; we're thinking of `Maybe a` as `a + ()`, and then identifying `(a + ()) + ()` with `a + (() + ())` and then `() + ()` with `Bool`. Thanks!
- dllthomas 8y ago
  Right, exactly!