The differentiating lines are not as clear as you’...

# arrow

[pakoito]

The differentiating lines are not as clear as you’d imagine, and a pick-and-choose would cause as much confusion. Besides, there are plenty of inter-dependencies for the types related to core that appear in typeclasses.