1 2 3 4
T8412.hs:5:12: Illegal literal in type (type literals must not be negative): -1 In the untyped splice: $(return $ LitT $ NumTyLit (- 1))