app :: (Integer -> <e1> Integer) -> <e1> ((Integer -> <e2> Integer) -> <e2> Integer)
app f = do
  a = f 1
  \g -> g a
  
main = app (\x -> x) (\x -> x)
--
1