A lazy, extensible, lightweight, dynamically- and weakly-typed scripting language for Haskell