instance (Variable t, App (t (Var b (t a))), App (t a)) => App (Scope b t a)