Module type S.FUNCTOR

type 'a t