Indexed monads (not like Atkey or McBride style, or Johnstone style)