as you can guess now is that we have ForEither, Fo...
# arrow
p
as you can guess now is that we have ForEither, ForIO, ForTry, etc. one marker per datatype