Don't iterate through everything in unit monoid