Typing function type (7/42)

Typing function type