i get your line of thought, but i think schools and public infra in general should promote public well being over potentially making them slightly happier. As i see, it is similar to schools having mandatory sports for all, which promotes health. many students want to be lazy, but it does not harm them in general to do exercise