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).