Compiler.Typesystem.SystemFOmega

data SystemFOmega m p k

markAsFunctionArrow