This does make the compiler work much harder though! Having to optimize dispatch everywhere makes it quite a different thing from how a good optimizing Scheme or CL compiler works.