Remove noncanonical definitions#206

rhendric wants to merge 1 commit intohaskellari:masterhaskellari/these:masterfrom

rhendric:rhendric/noncanonicalrhendric/these:rhendric/noncanonicalCopy head branch name to clipboard