Control.Monad.Indexed.Fix
class
IxMonadFix
m