MiniAgda-0.2014.1.9: test/fail/subtyping_erased.ma

-- every function which does not use its argument is a function
-- this is UNSOUND under erasure!

let id : [A : Set] -> ([A] -> A) -> (A -> A)
       = \ A -> \ x -> x