Has nothing to do with category theory. Not necessarily at least. Also, there is a strong intuition to free theorems that many people without an FP background

Has nothing to do with category theory. Not necessarily at least. Also, there is a strong intuition to free theorems that many people without an FP background will easily understand.