Re: [Haskell-cafe] NoMonomorphismRestriction forces odd situation when using contexts

You can avoid this problem by using a case-expression, which remains monomorphic: myRec = case defRec of Rec x y -> Rec x y