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