MiniAgda-0.2014.1.9: test/fail/subtyping_erased_wrongdir.ma

-- wrong direction of subtyping
-- not every function is a function which does not use its argument

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