fail is:module package:Agda

A pure MonadFail.