A no-op Trace implementation is freely available for any applicative effect. This lets us add
a Trace constraint to most existing code without demanding anything new from the concrete
effect type.
A no-op Trace implementation is freely available for any applicative effect. This lets us add
a Trace constraint to most existing code without demanding anything new from the concrete
effect type.