Add IORef
Add a benchmark
Eta conversion