possibly `combine` with a `Thing` semigroup that a...
# arrow
b
possibly
combine
with a
Thing
semigroup that always returns the element being validated?
👍 1