test1 = \(x, y, z) -> x * y + z(x)(y)

test2 = (\x -> x.foo false) { foo : \_ -> 1 }

test3 = (\(x, y) -> x)(1 + 2 * (1 + 2), true && (false || false))

k = \x -> \y -> x

test4 = 1 `k` 2

infixl 5 %%

(%%) = \x -> \y -> x * y + y

test5 = 1 %% 2 %% 3

test6 = ((\x -> x) `k` 2) 3

(<>) = \s1 -> \s2 -> s1 ++ s2

test7 = "Hello" <> "World!"

module Ops where
  
  (@@) :: forall a b. (a -> b) -> a -> b
  (@@) = \f x -> f x

  foo :: String -> String
  foo = \s -> s
 
  test8 = foo @@ "Hello World"

  bar = \s1 s2 -> s1 ++ s2

test9 = Ops:foo Ops:@@ "Hello World"

test10 = "Hello" `Ops:bar` "World"