Require stronger type evidence from Unapplys, in the form of Leibniz instances.
Use Unapply#leibniz instead of apply where convenient.
Merge pull request #325 from S11001001/topic/unapply-leibniz

Add leibniz to Unapply