kanren-typecheck.test 5.23 KB