Implemented some dummy infrastructure for type classes