remove unused FlexibleContexts pragma
unify will also work for sum types