handleError

MonadError

head

OneAnd