Recursive Mono and Sans, a free variable type family | Hacker News Reader