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