Added another type/interface sketch using a phantom type parameter and DataKinds