Understanding the Difference Between `Any` and `AnyWithProps` Helper Types in `@effect/platform`

I'm writing some library code which I wish to function very similarly to how the

HttpApi

HttpApi

modules in

@effect/platform

@effect/platform

do, and so am using the patterns there as references. One thing which I don't understand is the difference between the

Any

Any

and

AnyWithProps

AnyWithProps

helper types (as found e.g. here). In the code I've written, I've (so far, anyways) always been able to use

AnyWithProps

AnyWithProps

over

Any

Any

, with no downsides. So then what's the point of

Any

Any

Understanding the Difference Between `Any` and `AnyWithProps` Helper Types in `@effect/platform` - Effect Community