oops, don't try installing monoid-extras or dual-tree locally