Feldspar.Compiler.Backend.C.Plugin.TypeCorrector
type TypeCatalog
data GlobalCollector
data TypeCheckDown
data TypeCheck
data TypeCorrector