Added instance ADT (a, b)