Comprehension.Block
type t('M, 'T) = ('M, t'('M, 'T));
and t'('M, 'T) = {
left: Pattern.t('M, 'T),
right: Expression.t('M, 'T),
each: bool,
};