import H47 import Control.Monad (replicateM) tablen :: Int -> ([Bool] -> Bool) -> IO () tablen n f = mapM_ putStrLn [toStr a ++ " => " ++ show (f a) | a <- args n] where args n = replicateM n [True, False] toStr = unwords . map (\x -> show x ++ space x) space True = " " space False = " "