Legend:

'''TODO:''' Move this page (logically) before the type checking page (which now also conatins all the details about desugaring) and turn it into an example page that (using the `Map` example) goes through all the details of the concrete representation.