id	summary	reporter	owner	description	type	status	priority	milestone	version	resolution	keywords	cc
44	Type signatures lose parentheses	anonymous		"Under certain circumstances syntactically necessary parentheses are dropped from type signatures. Both of these examples are real code, though simpler examples could be found.


* Case 1: Strict multi-token fields

`data (f :+: g) e = Inl !(f e) | Inr !(g e)`


* Case 2: Per-argument comments on function arguments.

`pairWithBy :: (a -> b -> c)          -- ^ @(,)@ tuple homomorphism`
`           -> (c -> d -> d)          -- ^ @(:)@ list  homomorphism, pt. 1`
`           -> d                      -- ^ @[]@  list  homomorphism, pt. 2`
`           -> [a] -> [b] -> Maybe d  -- a safer @zip@ function`
"	defect	closed	major		2.0.0.0	fixed