Binary package “libghc-singleton-bool-dev” in ubuntu hirsute

type-level booleans

 Type level booleans. The singletons package provides similar
 functionality, but it has tight dependency constraints.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.