Cody on Nostr: I guess the property would be "beta and eta are type preserving"?I guess the property would be "beta and eta are type preserving"?