Type level Haskell-implementation of the Fibonacci function | Hacker News Reader