Try.CatchClause
type ('M, 'T) t = 'M * ('M, 'T) t'
and ('M, 'T) t' = {
param : ('M, 'T) Pattern.t option;
body : 'M * ('M, 'T) Block.t;
comments : ('M, unit) Syntax.t option;
}