Base.Typing

class Typeable a

withType

matchType

bindDecls

bindDecl

bindPatterns

bindPattern

declVars

patternVars