I still think you should put type definitions for dummy arguments together.