Typing function type (17/42)

Typing function type