Just realized: Do you mean that you'd eventually want to publish a
standard syntax for static type signatures as part of the SRFI
submission guidelines, so that authors of new SRFIs could directly write
their own types in that syntax if they want to? That would be really
cool, but how and when would we know what the right syntax is and that
it won't change anymore.. I know the initial plan is to develop a
Dialyzer workalike but Dialyzer is still being improved, the Haskell
type system is perennially debated and dependent-typed languages are
popping up on the scene, so empirically I'd say that static type systems
may not be easily finished once development gets going :)