backend: cosmetic on type level (regarding forall)