Has everyone in here seen my Cats channel messages about this: https://github.com/milessabin/derivation-hook
Feedback would be very welcome indeed.
I have seen it
I just wanted to have a clear definition of Orphan typeclass vs non-orphaned
OK, I'll add a definition of orphans.
@milessabin thks, I've just had the idea to look at your project and see the addition on orphans ;)
:thumbsup:
@milessabin ah! Cool, so basically implicits that aren't defined on the companion. i.e. the way I do it :smile:
you should totally call this library the Pirate Orphans of Penzance
Are there orphans in the Pirates of Penzance?!?
it's a major plot theme
they're all orphans, and have a soft spot for orphans, so when they board a ship everybody says "wait! But I'm an orphan" and then they let them go. Then the Major General pretends to be an orphan and there is a hilarious mispronounciation of words.
Ahh ... the Major General wants to to get rid of the orphans, right?
BTW, this is totally off topic for this channel ...
Apologies all ...
any algebra gathering that does not digress into discussions about the pirates of penzance, is not worth being in :-P