do we want to mix effects with lower parts of the ...
# arrow-contributors
p
do we want to mix effects with lower parts of the typeclass hierarchy?