Часто, когда я играю с кодом Haskell, я закрываю вещи аннотацией типа и undefined. foo :: String -> Int
foo = undefined
Есть ли «неопределенный» тип уровня, который я мог бы использовать аналогичны
Я пытаюсь определить операции над списками с параметризованными параметрами. В конечном итоге у меня есть довольно много ограничений для этих списков (Map, Fold, что у вас есть), поэтому я хотел бы ис