Theorems for free! | Proceedings of the fourth international conference on Functional programming languages and computer architecture