Ну тогда я это совсем не так понял.
Но и на этот случай - ничто не мешает настоящему самураю сделать свои пять типов, все в них завернуть и юзать до потери пульса. Правда тогда начнётся настоящий ад, все начнут рожать мегаконстукции чтобы тягать метаданные о типах вместе с переменными итп.