Typing function type (8/42)

Typing function type