Add Zero and One to Data.Functor (mirroring V1, U1)

Baldur Blöndal baldurpet at
Tue Jan 24 19:17:31 UTC 2017

Deadline of 2 weeks.

Original discussion: ⁽¹⁾

data Zero a
data One  a = One

Same definitions as in ‘trivia’ package,⁽²⁾
if a consensus is reached we can update
the documentation for Free:⁽³⁾

“Free Zero” is isomorphic to Identity.
“Free One” is isomorphic to Maybe.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list