Because the dsl is constrained on typeclasses on a...
# arrow-contributors
s
Because the dsl is constrained on typeclasses on a method level rather than a class level. Which sucks anyway since it's not compile time verified.