**redmp (EDITED)** @redmp@recurse.social · Nov 10, 2025, 03:17 *

**redmp (EDITED)** @redmp@recurse.social · Nov 10, 2025, 03:17 *

redmp (EDITED) @redmp@recurse.social

it's GHC2024 and you still can't write -1

**Brian McKenna** @puffnfresh@mastodon.social · Nov 10, 2025, 03:42

**Brian McKenna** @puffnfresh@mastodon.social · Nov 10, 2025, 03:42

Brian McKenna @puffnfresh@mastodon.social

@redmp totally agree. Especially since (+1) means one thing but (-1) means something else. Totally different types!

**l'empathie mécanique** @dpwiz@qoto.org · 2025-11-10T14:51:48Z

l'empathie mécanique @dpwiz@qoto.org

@puffnfresh @redmp Yes. Should come together with NoPositiveLiterals