@vivia typo police!
@zeenix I'm clearly more used to C than to Lisp!
@vivia def f[Box : F, Cat, A, F[A, F[A]]]: Box[Cat, Box[Cat]] =
@joshuakfarrar What language is this?
@vivia .borrow().to_owned()
Damn I cloned it
@vivia Schrodinger not prepared for this
@vivia In JSON:
{ 'item':'box', 'contains':[{ 'item':'cat' },{ 'item':'box', 'contains':[{ 'item':'cat' }] }] }
@vivia fantastic