i like this definition better and it better reflects what the typechecker actually does
i like this definition better and it better reflects what the
typechecker actually does

gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon