(TSort O) (TSort O)) (THead (Bind x0) x5 (THead (Flat Appl) (lift (S O) O
(TSort O)) x3))) H9)) t2 H8))))))))))))))) H1)) H0))).
(TSort O) (TSort O)) (THead (Bind x0) x5 (THead (Flat Appl) (lift (S O) O
(TSort O)) x3))) H9)) t2 H8))))))))))))))) H1)) H0))).