Type-LevelProgramminginHaskellThisbookaimstobethecomprehensivemanualfortype-levelprogramming.It’saboutgettingyoufromheretothere—fromacompetentHaskellprogrammertoonewhoconvincesthecompilertodotheirworkforthem.