Note [Don't flatten tuples from HsSyn] in MkCore