A no-op Trace implementation is freely available for any applicative effect.
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.