Thinking.with.Types.2018.pdf Type-LevelProgramminginHaskellThisbookaimstobethecomprehensivemanualfortype-levelprogramming.It’saboutgettingyoufromheretothere—fromacompetentHaskellp