Reflecting away from definitions in Liquid Haskell | Hacker News Reader