Remove unused bindings and imports
Move monoid instance