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