Parameter X

type 'a input

type 'a output

type 'a t = 'a input -> 'a output