create_generic_type.swift

// suppose we have some class
class AClass<A> { required init() {} }

// we can certainly create a generic type using that class
// note that we are "hard coding" creating an AClass object
struct GenericType<A> { var a = AClass<A>() }
let ta = Type<Int>()

// ...but we can't tell Swift what sort of object to create
// eg we cannot be generic in the  'AClass'
// the T<A>() doesn't work
// ie: we can't generalize the Type Constructor T<A>()
struct HigherType<T : AClass,A> { var a = T<A>() }