Modify the type classes in order to overload the 'subs' operator
Develop test programs