Parameter Make.1-Repr

type 'a m

'a m is the type of programs computing a value of type 'a