Parameter MakeKind.Kind

type b
type c
val log : Level.t -> ('a, b, c, unit) Stdlib.format4 -> 'a