Option is meaningful when you need to use typeclas...
# arrow
s
Option is meaningful when you need to use typeclasses for combinators like
Traverse
. In this case you already have
Either
.