Control.Monad.Indexed.Fix
class IxMonadFix m