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

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