We already have `Option`, `Either` and most of the...
# arrow
r
We already have
Option
,
Either
and most of their instances