Actually use type synonym in test for #17