Без заголовка

>несмотря на все навороты с типами данных в том же Haskell, его и ему подобные языки почему-то не используются рутинно для представления данных и схем данных -- и это не случайно Это у вас перекос. Кому надо, те используют.