well, my thinking based on what I have so far is t...
# arrow
b
well, my thinking based on what I have so far is that composition would occur piecemeal: e.g.
S3Ops<F>
,
LoggingOps<F>
,
LoggedS3Ops<F>: S3Ops<F>, LoggingOps<F>
instead of all at once like the above