Cannot define recursive bound on associated type of an interface

[casper-pragma]

I have a need to define something like the following:

interface A T => A a where
  T : Type

I have tried it with version 1.3.4 and it says it does not see T in scope.

Can I define it in idris?

---

If I were to define it in haskell, I would go like so:

class A (T b) => A b where
  type T b :: *

Need an equivalent in idris tho :3