Dustin rated Thinking with Types. Type-Level Programming in Haskell: Show rating 5.0 stars Nov. 12, 2019 Public Thinking with Types. Type-Level Programming in Haskell by Sandy Maguire