A bidirectional typechecking puzzle in the Grace programming languagehaskellforall.com5 pointsfanf22 months ago