Fwd: [Haskell] context rules for "default"