MiniAgda-0.2014.1.9: test/fail/NegPol.ma

-- 2010-08-19
let U : +Set -> Set
      = \ X -> X -> X