my mistake; I read this as two separate type declarations, not a single parameter list!