Any (relatively easy) way I could have multiple ty...
# compiler
y
Any (relatively easy) way I could have multiple types in a
ConeAttributeWithConeType
? I guess I could use some type
Cons<X, Ys>
invariant in both arguments, and basically create a linked list inside a singular type, but that feels rather inelegant. Any other way?