functors.lhs