Опитвам се да внедря църковни цифри в Haskell, но срещнах малък проблем. Haskell се оплаква от безкраен тип с Възниква проверка: не може да се конструира безкраен тип: t = (t -> t1) -> (t1 -> t2) -> t2 когато се опитвам да правя изваждане. 99%...