functor (C : CustomT) ->
  sig val custom : Maths.math list C.t -> Maths.math end