1
1
------------------------------------------------------------------------
3
5
------------------------------------------------------------------------
7
7
-- Note that currently the functor laws are not included here.
9
9
module Category.Functor where