Functors.Functor
module X : Argument
module Y : Argument
type r
This type r is declared in the Result module type
r