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,,,