Compiler.Typesystem.SimplyTyped

data SimplyTyped m

data SimplyTypedErr c v t