why is X isomorphic to Unit → X but not to X → Unit? is there a good intuition for why putting X in the input position breaks isomorphism

which of these functions is cooler? y = 2^x y = e^x natural growth seems like a good argument for e^x but then 2^x describes the powerset...

i wonder if there's been some kind of a recent regression in the Discover codebase. my feed has a lot more "ntpc" segments now and they're all the stuff i don't want to see. how is this possibly related to my interests? why is Discover shoving these bad posts into my timeline https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreibhnzdyk6liyx64nc3eskbk4iamy4o3cfsx2dtgehnv2dbhh6z4dy https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreiaaxl7le55pchww5n4twxlanoupmnt2woc4lfgggzltdda2nzgf5q https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreif6nxytnabcm6im2ki2fd4wjkpgkngb2xux6q3lqorf3w45urmok4 https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreifktfkuosj3vsx5hhjxgllbnaq5wqqkp2jt3vlupwuk3wzqlqdg5e