id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
4284	Adding parentheses introduces type error	jpbernardy		"{{{
{-# LANGUAGE RankNTypes #-}

module Test where

foo :: () -> forall b. b
foo = undefined

works = id foo

fails = (id) foo

-- works type checks, but fails fails with the following error
-- message:
--
--   Cannot match a monotype with `() -> forall b. b'
--   Probable cause: `foo' is applied to too few arguments
--   In the first argument of `(id)', namely `foo'
--   In the expression: (id) foo
}}}"	bug	closed	normal		Compiler (Type checker)	6.12.3	fixed	higher-rank polymorphism	nad andres.sicard.ramirez@…	Unknown/Multiple	Unknown/Multiple	GHC rejects valid program		typecheck/should_compile/T4284