do, afaik, just flips the written expression and use actual bind functions depending on the typeclass at point
do, afaik, just flips the written expression and use actual bind functions depending on the typeclass at point