Но это даёт всё таки определенные возможности полезные... например можно своего рода вручную сделать ограниченный полиморфизм... можно написать моноид, можно запилить дикшинари где в качестве ключа будет что угодно, а вот функтор сделать уже не выйдет, hkt не завезли