# type ('a,'b) t = bool;;
type ('a, 'b) t = bool
# let f : bool -> (string,int) t = fun x -> x;;
val f : bool -> (string, int) t = <fun>
# f true;;
- : (string, int) t = true