cup.hs

module Main where

--cup ml = \_ -> ml
cup :: t1 -> (t1 -> t2) -> t2
cup ml = \message -> message ml

aCup :: (Integer -> t2) -> t2
aCup = cup 180

coffeeCup :: (Integer -> t2) -> t2
coffeeCup = cup 500

getMl :: ((p -> p) -> t) -> t
getMl aCup = aCup (\ml -> ml)

main :: IO()
main = do
       print(getMl coffeeCup)
       print(getMl aCup)