Think about semantic function type vs type system function type

[ilyash]

Which information can and should be conveyed about a method?

Maybe not limit only to methods?

• Pure?
• Wrapper?
• Version?
• Author?
• What it does? (Which aspects specifically would be interesting?)