[Haskell] context rules for "default"