show (Lam (Call Add [Var Nothing, Var (Just ())]))
:q