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

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/