Typing function type (5/42)

Typing function type