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

Marc Busqué marc at lamarciana.com
Fri Apr 20 15:05:10 UTC 2018

> 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é

More information about the Haskell-Cafe mailing list