add Type Slot in typeclass