allegedly correct implementation of type recursion that compiles!
allegedly correct implementation of type recursion that compiles!

ngzax/urbit,jfranklin9000/urbit,ngzax/urbit,urbit/urbit,ngzax/urbit,jfranklin9000/urbit,jfranklin9000/urbit,ngzax/urbit,ngzax/urbit,urbit/urbit,urbit/urbit,jfranklin9000/urbit,urbit/urbit,jfranklin9000/urbit,urbit/urbit,urbit/urbit,urbit/urbit,jfranklin9000/urbit,jfranklin9000/urbit,ngzax/urbit,ngzax/urbit