@mcc In Haskell, the Tautological Algorithm is written "return () :: IO ()"

See stackoverflow.com/questions/32 for more details.