Rename module TypeVars -> FreeTypeVars
Extract Infer->Monad.hs
Extract Scheme
Record.FlatRecord -> FlatRecordType.FlatRecordType
Record.flattenERec -> FlatRecordType.flatRecordValue
Rename functions in FlatRecordType
Hierarchy of modules
benchmark: Qualified imports
apply -> applySubst
Infer: Qualified imports