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