Typing function type (3/42)

Typing function type