sig
  type (_, _, _) t
  val map :
    ('a -> 'b) ->
    ('p, 'q, 'a) Functor.Basic3.t -> ('p, 'q, 'b) Functor.Basic3.t
end