A type-level Quine in Haskell