haskell-singleton-bool