Polymorphic difference and intersection snoyberg/classy-prelude#48