Typechecked:
d.Num.t8 = dfun.Num.Integer
fromInt.t7 = fromInt tt4 d.Num.t8
lit.t5 = fromInt.t7 (MkInt 1#)
d.Num.t9 = d.Num.t8
(+.t3) = (+) tt4 d.Num.t9
AbsBinds [] [] [(v.t1, ShouldSucceed.v)]
    {- rec -}
    v.t1 :: tt4
    v.t1 | True = v.t1 +.t3 lit.t5
	 | False = v.t1