NameNeedValueUsage
example
Naturals
TypelevelUsage
NewTypeUsage
example
Num
TypeCheckerWithExplicitTypesAST
name
Lambda
Var
Id
TyBuiltin
TyVar
nextFib
FibStateExample
numT
TypeCheckerWithExplicitTypesAST