higher-kinded types (HKT): Higher-level type constructor abstracting over entities that are themselves type constructors </>