Consider to use `InstanceOf` scalaz pattern

Question

Consider to use `InstanceOf` scalaz pattern

Odomontois opened this issue 7 years ago · 7 comments

This scalaz PR targeting well-known ambigous-subtype implicit problem resolving it without repackaging base typeclass instances inside sub-typeclass es.

I wonder if this method is suitable for cats-mtl project.

PR welcome?

Answer 1 · 2018-02-11T12:45:01.000Z

This sounds like a good idea to me, I haven't fully understood the pattern yet, but it seems to strike a good balance. We've always said cats-mtl is an experimental part of the ecosystem, so I'd love to see a PR :)

Answer 2 · 2018-02-11T12:53:07.000Z

Yes, we should definitely see where this leads.

Answer 3 · 2018-02-11T22:04:07.000Z

Agreed! PR is definitely welcome.

Answer 4 · 2018-02-19T17:00:27.000Z

I wonder if we could get an experimental version of simulacrum with this type of encoding

Answer 5 · 2018-04-15T14:08:35.000Z

@Odomontois, are you working on this? If not I'd like to give this a shot.

Answer 6 · 2018-08-28T17:02:02.000Z

@LukaJCB I picked up the task.

Answer 7 · 2018-09-06T14:04:48.000Z

Closing in favor of #53