Haskell без типов

Можно ли отключить или обойти систему типов в Haskell? Бывают ситуации, когда удобно иметь все нетипизированное, как в Forth и BCPL, или монотипное, как в Mathematica. Я думаю о том, чтобы объявить все как один тип или вообще отключить проверку типов.

Редактировать: В соответствии с принципами SO, это узкий технический вопрос, а не запрос на обсуждение относительных достоинств различных подходов к программированию. Перефразируя вопрос: «Можно ли использовать Haskell таким образом, чтобы предотвращение конфликтов типов полностью ложилось на программиста?»