Ага, недоглядел. А вот статические полиморфные типы мне бы помогли!1