Есть забавный момент - сделать приличную сборку мусора в ML без этого битика
никому не удалось. Проблема - именно в информации о типах. Когда у значения
в принципе нет единственно верного типа - возникают большие проблемы с табличками
(в теории они разрешимы, но лезут экспоненты)

Потому их не используют, а удовлетворяются битиком.