In this problem session, we explore the simple idea of adding currying to subtyping.