Base.Typing
class Typeable a
withType
matchType
bindDecls
bindDecl
bindPatterns
bindPattern
declVars
patternVars