Lindy Annotations
http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/
See the best timeless articles
from math.andrej.com
.