SimonAlling

{-# LANGUAGE LambdaCase #-}

import Data.List

data Day = Day Int

instance Show Day where
  show (Day d) = pad d

data Month = Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec

SimonAlling

{-# 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."

SimonAlling

// Types:
type Just<T> = { Just: T }
type Nothing = {}
type Maybe<T> = Just<T> | Nothing

type Left<L> = { Left: L }
type Right<R> = { Right: R }
type Either<L, R> = Left<L> | Right<R>

// For convenience:

SimonAlling