Update imports
Make Monoid/Semigroups properly record polymorphic