Make.10-P
type 'a m
= 'a Repr.m
val prod : 'a m -> 'b m -> ('a * 'b) m
Product-forming.
val fst : ('a * 'b) m -> 'a m
First projection.
val snd : ('a * 'b) m -> 'b m
Last projection.