Functor package:Agda

Utilities for functors.