Add Substitute typeclass.