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