all types match, but not sure what my tests are supposed to yield. Current output of <abstr>s is not very reassuring.