fromRight package:Agda

Analogue of fromMaybe.
Analogue of fromMaybeM.