on Nostr: does it have generic types? if so i think you can potentially reduce asn.1 into a ...does it have generic types? if so i think you can potentially reduce asn.1 into a lambda calculus