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