Type level booleans.

singletons package provides similar functionality, but it has tight
dependency constraints.

Homepage:
http://hackage.haskell.org/package/singleton-bool
