Use gregr-misc/monad
Use gregr-misc/maybe
Use gregr-misc/either
Remove unnecessary require