Parameter Make.8-E

type 'a m = 'a Repr.m
val raise_ : exn -> 'a m