<@U0B8UEMV1> I'm not 100% how to move the function...
# arrow-contributors
j
@pakoito I'm not 100% how to move the function to the Either datatype, given it needs access to a typeclass interface definition to provide the SG for the inner types