GHC activities December 2021–January 2022well-typed.com14 points·JNRowe··1 commentOpen articleSaveView on HN