this way you can concretize with any datatype you ...
# arrow
p
this way you can concretize with any datatype you can compose that contains both MonadReader and MonadError