<div dir="ltr"><div><div><div><div>Hi all<br><br></div>I am working on D836 and have the following test case<br><br>    data MaybeDefault v where<br>        SetTo4 :: forall v a. (( Eq v, Show v ) => v -> MaybeDefault v -> a -> MaybeDefault [a])<br><br></div>GHC 7.10.1 regards the return type of SetTo4 as `MaybeDefault [a]`<br><br></div>The question is, due to the parens, is the return type not the whole RHS?<br><br></div><div>i.e. Similar to how in the signature<br><br>    map :: (a -> b) -> [a] -> [b]<br><br></div><div>the first paramater is a single function.<br><br></div><div>I am sure I am just confused here.<br><br></div><div>Alan<br></div></div>