1/1: Building IEdit (IEdit.idr)Main> \f => \g => \x => g (f x)Main> (\x => \zs => x :: zs)Main> f : a -> b -> cMain> Bye for now!