Statement.Try
module CatchClause: { ... };
type t('M, 'T) = {
block: ('M, Block.t('M, 'T)),
handler: option(CatchClause.t('M, 'T)),
finalizer: option(('M, Block.t('M, 'T))),
comments: option(Syntax.t('M, unit)),
};