Expansion.Functors
Demonstrates the expansion of functors
module type Argument = sig ... end
module type Result = sig ... end
module Functor (X : Argument) (Y : Argument) : Result