Haskell RebindableSyntax example

RebindableSyntax.hs

{-# LANGUAGE RebindableSyntax #-}

import Prelude hiding ((>>))

data Config = Config { depth :: Int, width :: Int }

printInfo :: Config -> IO ()
printInfo config = mapM_ putStrLn $ do
  "************** INFORMATION **************"
  "Welcome to the Hydraulic Press Channel."
  "Here is your configuration:"
  ""
  "    depth:       " ++ show (depth config)
  "    width:       " ++ show (width config)
  ""
  "*****************************************"
  [] where (>>) = (:)

main :: IO ()
main = printInfo defaultConfig

defaultConfig :: Config
defaultConfig = Config { depth = 5, width = 10 }

Try it out:

$ runhaskell RebindableSyntax.hs

Yeah, but...

Hydraulic Press? You're stuck in 2016, literally.