Processing as TTImpWritten TTCYaffle> (Main.S (Main.S Main.Z))Yaffle> Main.ZYaffle> (Main.S (Main.S (Main.S Main.Z)))Yaffle> ((Main.MkPair (Main.S (Main.S (Main.S Main.Z)))) (Main.S (Main.S Main.Z)))Yaffle> Bye for now!