Type ascriptions no longer needed.