Lennart Spitzner

With the AMP update, `ireturn` is somewhat outdated. I propose a new naming scheme: ``` class IxPointed where ipoint :: .. ipure :: IxApplicative m => a -> m i...