Add Crosswalk instances for: NonEmpty, Proxy, Const, Functor.Sum, These1, MaybeT

haskellari / these

An either-or-both data type, with corresponding hybrid error/writer monad transformer.

117 stars 49 forks source link

Open mniip opened 9 months ago

mniip commented 8 months ago

@phadej Thoughts?

mniip commented 4 months ago

@phadej gentle prod?

mniip commented 1 month ago

Do you disagree with some of the instances? Would it help to split this into 6 pull requests?