GADT confusion

[Alan & Kim Zimmerman]

Hi all

I am working on D836 and have the following test case

    data MaybeDefault v where
        SetTo4 :: forall v a. (( Eq v, Show v ) => v -> MaybeDefault v -> a
-> MaybeDefault [a])

GHC 7.10.1 regards the return type of SetTo4 as `MaybeDefault [a]`

The question is, due to the parens, is the return type not the whole RHS?

i.e. Similar to how in the signature

    map :: (a -> b) -> [a] -> [b]

the first paramater is a single function.

I am sure I am just confused here.

Alan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20150518/90b8ca3a/attachment.html>