ghc-singleton-bool 0.1.5 Type-level booleans

This package provides Type-level booleans.