Cleared up text some more
Some thoughts on Church and Curry polymorphism equivalence