Category tree for Curry