[Haskell-cafe] singleton types

[Luke Palmer]

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"?

Luke