Idris-style Holes in F# | Hacker News Reader