Over the basic type system of a language, only Pyrrhic victories are possible. -- Bjarne Stroustrup