hesselink/type-equality — pull request #2 by jkoppel (2013-05-10 23:36:32+00:00)
Title: Adding subst2

Adding subst2 :: a :=: b -> f (g a) -> f (g b)