Categories for Free checker