ain = do
  let x = Arg 1
      y = Arg 0
      z = Arg 2
      q = Abs (App x (App y z))
      l = Abs q
  putStrLn . show $ l
  putStrLn . show $ shift 2 0 l

main = do
  let x = Arg 1
      y = Arg 0
      z = Arg 2
      q = Abs (App x (App y z))
      l = Abs q
  putStrLn . show $ l
  putStrLn . show $ shift 2 0 l
main = do
  let x = Arg 1
      y = Arg 0
      z = Arg 2
      q = Abs (App x (App y z))
      l = Abs q
  putStrLn . show $ l
  putStrLn . show $ shift 2 0 l