Newtype typeclass?

[sir-wabbit]

https://pursuit.purescript.org/packages/purescript-newtype/2.0.0/docs/Data.Newtype

[wedens]

Just to mention it. There is Wrapped typeclass in monocle with the same purpose.

[sellout]

@wedens In the port of Monocle to Cats, Wrapped is no longer a type class and instead depends on the Newtype type class in newts. Providing a similar type class here will make it easier to replace newts with newtypes down the road.

[acjay]

Is the idea here automatically deriving typeclasses for Newtype types, where a type class for the underlying type exists?