I wrote an answer to a question on
/r/haskell which discusses some things I think are often a little hard to get complete exposure to. “Final encoding” is a slightly overloaded word....