ThinkingwithTypesstarted,assomanyofmyprojectsdo,accidentally.Iwasunemployed,bored,andstartingtogettiredofansweringthesamequestionsoverandoveragaininHaskellchat-rooms.AndsoIstartedaquickdocument,jottingdownabunchoftype-levelprogrammingtopicsIthoughtit