MonadFix instance for interpreter monad transformer generated by FreeT?

Question

I have a simplified version of the standard interpreter monad transformer generated by FreeT:

data InteractiveF p r a = Interact p (r -> a)

type