Annotating types in type familiy equations without parentheses

When annotating types in right-hand side of type family equations parentheses are required:

type family
  F a where
  F _ = (Int :: Type)

instead of

type family
  F a where
  F _ = Int :: Type

Trac metadata

Trac field	Value
Version	8.1
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture