maybeToEither package:Agda

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