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

[Phil Ruffwind]

You can avoid this problem by using a case-expression, which remains
monomorphic:

    myRec =
      case defRec of
        Rec x y ->
          Rec x y