Thanks for your response and that does seem like a nice compromise, but it's still not perfect to me.

If the choice is <untyped>|<haskell>, it's better than just <haskell> but I'd love some <gradually typed, allows side effects>

Good luck with your project, looks pretty cool