1
1
------------------------------------------------------------------------
3
5
------------------------------------------------------------------------
7
7
-- Note that currently the monad laws are not included here.
9
9
module Category.Monad.Indexed where