Differential Calculus with Datatypes: the hole story | Hacker News Reader