1. 14
  1.  

  2. 3

    If anyone is curious about the mechanics behind how type families etc. work, I would strongly recommend Alexis King’s intro to typeclass metaprogramming.