Return type (B) included in checking equality. Add couple more tests.