Hey Computer Scientists, have you seen any good resources on types as first class citizens? Sounds mind bending. I’d like to read about it.