When flattening, try reducing type-family applications eagerly