kanren-typecheck.test 5.66 KB