Report question

Question: Examples of functional programs 'writing themselves' via type analysis