How to define instances of Applicative and Monad when working with a constructor defined using record synthax

Question

I am trying to define instances for Applicative and Monad of RWS, but there must be something that I am missing. For pure, I am getting an occurs check error. I