[Haskell-cafe] singleton types

Luke Palmer lrpalmer at gmail.com
Sun Apr 25 17:22:58 EDT 2010

2010/4/25 Günther Schmidt <gue.schmidt at web.de>:
> Hello,
> 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
> implementation.
> 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 mailing list