Stevan A

@nick8325: I remember seeing this in your gist from a while ago! I didn't quite like how your state transition function always gets a `Var a` rather than simply `a`...

Also relevant: https://github.com/hedgehogqa/haskell-hedgehog/pull/89

> Why monadic and not just a pure function? I found myself wanting to do `$data.url/download$` which does a http request to download the source of some url. > Also,...

I suppose another way to put 2) is: while in e.g. `gcc` if you pass `-std=c90` it will *disable* features which are not in the standard, while in GHC setting...