Чтобы узнать, если тип - это более высокий тип ghci, укажите: Prelude & gt; : k Возможно Может быть :: * - & gt; * И попытался на typeclass, как: Prelude & gt; : k Functor Functor :: (* - & gt; *) - & gt; Ограничение ...

Имея следующий тип определения MyMap = Map[String, List[Map[Int, String]]] Может ли Map быть определена как более высокий тип?

Часто, когда я играю с кодом на Haskell, я вставляю аннотацию типа и undefined. foo :: String -> Int foo = undefined Есть ли на уровне типов "undefined", который я мог бы использовать в ...