in this particular example, I don’t think `*` is g...

# getting-started

[Shawn]

in this particular example, I don’t think * is going to work - since in CoolWtf<A, B> = Wtf<A, B, Ftw<A, B>> A and B are invariant