T14465.hs:27:13: warning: [GHC-97441] [-Woverflowed-literals (in -Wdefault)] Literal -1 is negative but Natural only supports positive numbers