but I can see Eq and Semigroup, neither of which a...
# arrow
j
but I can see Eq and Semigroup, neither of which are boxed