Undo specialization
Do the iso! One step to the left
I postulate the possible existence of a fold
Yeah I know
Merge branch 'master' of https://github.com/joaopizani/infomtpt-verified-compilers