Someone
public text v1 · immutableval a = Cprod [Cprod [],Cprod [],Cprod [Cprod [Cint],Cprod [Cint],Cprod [Cint]], Cprod []] : ILDirect.conval b = Tlet (-,Tapp (Tlam (-,Cstring,Tprim (Print,[Tvar -])),Tstring "hello"), Tlet (-,Tnewtag (Cprod []), Tlet (-,Tnewtag (Cprod []), Tlet (-, Tif (Tprim (EqInt,[Tint 5,Tint 5]),Ttuple [], Traise (Ttag (Tvar -,Ttuple []),Cprod [])), Tlet (-,Ttuple [Tint 42,Tint 3,Tint 111], Tlet (-,Tnewtag (Cprod []), Tlet (-,Tproj (Tvar -,0), Tlet (-,Ttuple [Tvar -], Tlet (-,Tproj (Tvar -,1), Tlet (-,Ttuple [Tvar -], Tlet (-,Tproj (Tvar -,2), Tlet (-,Ttuple [Tvar -], Tlet (-,Ttuple [Tvar -,Tvar -,Tvar -], Tlet (-, Tapp (Tlam (-,Cstring, Tprim (Print,[Tvar -])), Tapp (Tlam (-,Cint, Tprim (IntToString,[Tvar -])), Tproj (Tproj (Tvar -,2),0))), Tlet (-,Tnewtag (Cprod []), Ttuple [Ttuple [],Ttuple [],Tvar -, Ttuple []]))))))))))))))) : ILDirect.term