Option is not allowed to be used as `MonadError&lt...
# arrow
s
Option is not allowed to be used as
MonadError<F, Throwable>
?