Daniel Steigerwald

As I see it, branded objects are still useful despite the fact they are easily breakable anytime the original object is somehow reused. They only can not be created from...

@gcanti Thank you, but how to do it with io-ts?

For what is worth, it seems branded Array is safe because there is no spread operation which would copy brand prop. So we can at least enforce sorted etc. arrays...

It seems objects should be doable as well via Symbol https://functionalprogramming.slack.com/archives/CPKPCAGP4/p1611993770099300?thread_ts=1611855662.084900&cid=CPKPCAGP4 https://functionalprogramming.slack.com/archives/CPKPCAGP4/p1611869451091300?thread_ts=1611869293.090800&cid=CPKPCAGP4

Will this be possible as Codec? I mean, the possibility to decode from two different types. ```ts export const FaunaDocRef = (() => { const Serialized = t.type({ '@ref': t.type({...

@gcanti Will be JSON type possible? 

@gcanti It would be great if all errors would not be mandatory an opaque string, so we could use exhaustive check without additional wrappers or hacks.

@gcanti Do you plan big changes? I just started using experimental API. I'm OK with refactoring.

Also, `lens.from(state)` would be handy. Or am I doing it wrong?

https://dev.opera.com/articles/css-will-change-property