[Haskell-cafe] Selda, type operators and heterogeneous lists

[Marc Busqué]

> I would argue that in this case existential types actually are the correct tool. What you want to do is hide some amount of type information,
> which is exactly what existential types do. Then, because createTable can handle any Table a when you unwrap the Table from the existential type
> you can still pass it to createTable.

Thanks Jake for your response. I think it makes a lot of sense. I'll
give it a try.

Marc Busqué
http://waiting-for-dev.github.io/about/