Ну вот...

[typechecker]

После этого нам всем делать нечего, смело можно нас всех выкидывать на помойку.