▲Type safety