Pragmatic Type-Level Design: Practical introduction into type-level programming: design principles, design patterns, methodologies, approaches leanpub.com/pragmatic-ty... by Alexander Granin is the featured book on the Leanpub homepage! leanpub.com #SoftwareEngineering #Haskell Find it on Leanpub!