New (failing) test for types with parameters in signatures.