Cabalize
Bound prep work
typeclass cleanups
Make it pure!
Whitespace (tabs->space)