Aliases: I, Only, Singular The simplest wrapper, it serves in some transformations to newtype I i = I i