буду признателен, если кто-то может указать документы на чтопозволять" делает в GHCi, или, если это не так, объясните это убедительно :-).

Насколько я могу сказать, "позволять" (без "в") не является частью языка Haskell как такового, а с другой стороны,Похоже, что это команда GHCI, так какне префикс двоеточия.