put instances into the //// blocks for genTypeClasses
deprecate oddly-placed Kleisli and StateT effect instances