А вот подскажите, на Haskell Wiki вот тут в последнем абзаце дурь написана, да? Никакой разницы между встроенными и пользовательскими частично примененными функциями нет?
Prelude> (+) undefined `seq` 5 5 Prelude> const undefined `seq` 5 5 Prelude> (\x y -> x) undefined `seq` 5 5 Или это только в последней версии GHC?

UPD. Нет, понял, там все ( Read more... )

Что-то у меня хаскелевский импорт вот так работает
{-# IMPORT System.IO #-} а вот так ломается
{-# IMPORT System.IO (hPutStrLn) #-} говоря Parse error (hPutStrLn). Хотя у Норелла в Dependently Typed Programming in Agda список импорта в примере используется. Agda 2.3.0.1 под Windows. Посмотрите у кого более свежая (2.3.2) и/или другая OS.

А с каких это пор у нас в Data.Monoid поселился такой оператор

infixr 6 <>

(<>) :: Monoid m => m -> m -> m
(<>) = mappend
и где это задокументировано?