MiniAgda-0.2022.3.11: test/fail/CheatSubtypingPos.ma

-- 2010-07-11

let MakePos : (-Set -> Set) -> (+Set -> Set) = \ F -> F