Functor module:Data package:barbies

Barbie-types that can be mapped over. Instances of FunctorB should satisfy the following laws:
bmap id = id
bmap f . bmap g = bmap (f . g)
There is a default bmap implementation for Generic types, so instances can derived automatically.
Functor from indexed-types to indexed-types. Instances of FunctorT should satisfy the following laws:
tmap id = id
tmap f . tmap g = tmap (f . g)
There is a default tmap implementation for Generic types, so instances can derived automatically.