New posts in Scott Encoding

How to infer the type of the Scott encoded List constructor?

How do I use the Church encoding for Free Monads?

Why do we use folds to encode datatypes as functions?