@welltypedwit.ch on Bluesky

JavaScript RequiredThis is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is. Learn more about Bluesky at bsky.social and atproto.com.

Post

Alice ✨

welltypedwit.ch

did:plc:j7ri4agbraq6g3dfmyccxep2

canonical class Functor[*(rf : Rep :-> Rep)](*f : forall *(r : Rep). Type(r) :-> Type(rf(r))) declarations dreamed up by the utterly deranged

2026-05-20T12:34:05.574Z