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

See https://stackoverflow.com/questions/32672814/where-is-the-realworld-defined for more details.