Re: [Haskell-cafe] using Haskell more like scripting language

On Sun, Jul 29, 2018 at 10:08:22AM +0200, Leandro Ostera wrote:

Correct me if I’m wrong but isn’t this precisely where GADTs would excel?

I was thinking of HasSomething t => ... but you would have to enable Template Haskell (blergh).