Move Id instances into implicit scope for Scala 3

[joroKr21]

No description provided.

[joroKr21]

I think I missed Semigroupal

[armanbilge]

Ah, I was having trouble with this as well.

[armanbilge]

Btw, I think we also should consider putting Id's implicits in its companion object.

[joroKr21]

It doesn't have a companion object - it's a type alias

[armanbilge]

Ok, well whatever you call the object Id that sits next to the type alias :) I'm pretty sure anything there is in implicit scope in Scala 3, I recently did this in typelevel/feral@744013e#diff-de6a1bd431e8326aa1f0db9116e7f8d27c15a9c8a6bb6344aec9984873eead98

[smarter]

For abstract types, scala 3 will look for implicits in the same-named object, but not for type alias if I'm not mistaken.

[armanbilge]

By abstract type, do you mean the difference between type INothing <: Nothing and type INothing = Nothing?

[smarter]

Yes.

[smarter]

Or well, types were the lower and upper bound actually differ, the INothing <: Nothing thing should in theory behave exactly like INothing = Nothing although the compiler implementation might not respect that

[armanbilge]

Well, FTR I just changed INothing <: Nothing to INothing = Nothing in that code I linked and it continues to grab the implicit from the INothing companion object.