functor definition

Type constructor plus lifting function (fmap)

added 2012-07-19T09:46:40Z by anders