hs2ats-0.2.1.10: test/data/HigherOrder.out
datavtype generic_sum(a: vt@ype, b: vt@ype) = | Generic_l of a | Generic_r of b vtypedef generic_sum_int = generic_sum(Strptr1, int)
datavtype generic_sum(a: vt@ype, b: vt@ype) = | Generic_l of a | Generic_r of b vtypedef generic_sum_int = generic_sum(Strptr1, int)