:: String -> Maybe a -> Either String a package:Agda

Convert Maybe to Either e, given an error e for the Nothing case.