How do I write a CV-Coalgebra in Idris2?

Question

In Haskell, I can write

data CoAttr f a
  = Automatic a
  | Manual (f (CoAttr f a))

but Idris doesn\'t seem to allow such fix-point types wit