This setting is OK. Every cat owner has to make their own personal decision here. When the cat is outside, it can bring fleas or ticks, which of course you do not want in your bed. Of course, they also disturb your sleep when the cat gets up or moves. However, a human partner in bed does this as well. From a hygienic point of view, a purely indoor cat in bed is harmless. Older cats like Fasol, who are used to sleeping in bed, are almost impossible to retrain. That's how it is, and since Masha doesn't mind, it's ok.