[Haskell-cafe] singleton types
lrpalmer at gmail.com
Sun Apr 25 17:22:58 EDT 2010
2010/4/25 Günther Schmidt <gue.schmidt at web.de>:
> HaskellDB makes extensive use of Singleton Types, both in its original
> version and the more recent one where it's using HList instead of the legacy
> I wonder if it is possible, not considering feasibility for the moment, to
> implement HaskellDB *without* using Singleton Types.
Would you please define "singleton type"?
More information about the Haskell-Cafe