syntax
bl doesn't work like that
Typos
Reword some stuff
Reorder some stuff
join for Either was wrong
bl doesn't work like that
Reword the stuff about escape analysis