core flow: suppress more type applications