MiniAgda-0.2022.3.11: test/fail/SizedDataWrongPol.ma

sized data Nat : -Size -> Set {}