>Because the dal is constrained on typeclasses ...

# arrow-contributors

[pakoito]

Because the dal is constrained on typeclasses on a method level rather than a class level.

Can we work this out?