alternative rules, .class expressions`
this expression
haskell typesystem description
haskell variable contexts