Folk Lore

• Defunctorization and monomorphisation are feasible

• Global control-flow analysis is feasible

• Early closure conversion is feasible