it doesn’t typecheck for me, the type becomes recu...
# announcements
p
it doesn’t typecheck for me, the type becomes recursive