Отключает ограничение Мономорфизм , которое ограничивает значения, которые не определены с помощью «функциональной нотации» ¹, для получения неполиморфного типа.
¹ Под словом «не используется обозначение функции» я подразумеваю, что они определены как foo = something, а не foo bar = something, т. Е. Определение не содержит явных аргументов.