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)
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_aCup :: ((p -> p) -> t) -> t
getMl_aCup aCup = aCup (\ml -> ml)
--getMl_coffeeCup :: ((p -> p) -> t) -> t
getMl_coffeeCup coffeeCup = coffeeCup (\ml -> ml)
main :: IO()
main = do
print(getMl_aCup aCup)
print(getMl_coffeeCup coffeeCup)
