beka valentine on Nostr: but there's ALSO a constructor `T` that takes two recursive trees we obviously can't ...

but there's ALSO a constructor `T` that takes two recursive trees

we obviously can't use that right? i mean, which subtree gets the hole? and what do we put in for the other subtree?