MiniAgda-0.2014.1.9: test/fail/SizedDataWrongPol.ma

sized data Nat : -Size -> Set {}