Hacker News new | ask | show | jobs
by JadeNB 2750 days ago
Oh, I see; we're thinking of `Maybe a` as `a + ()`, and then identifying `(a + ()) + ()` with `a + (() + ())` and then `() + ()` with `Bool`. Thanks!
1 comments
dllthomas 2745 days ago
Right, exactly!
link