Which can be expressed with a type alias but NOT directly with an interface?