module Enumerate.Main where import Enumerate import Spiros.Prelude main = do putStrLn "\nreifyCardinality @Bool..." print $ reifyCardinality [False] putStrLn "\n"