lawful classes

Stream: general

[Simon Hudon]

I'm having a look at the new is_lawful_functor. I just realized that it does not extend functor. That makes some signatures pretty verbose. Is there a plan to make shortcuts like lawful_functor that would combine both?

[Mario Carneiro]

I think it used to be bundled and was later unbundled. Of course you should ask Sebastian for the full story

[Sebastian Ullrich]

I'm not convinced of the useful of such shortcut classes. You cannot have class inference convert both to and from the class without risking cycles, which would make their usage quite clunky, I'd imagine.