Rant first, code will be after!
How can I specify the type hint of a variable as a function type? (See also: PEP 483.)
I noticed Python 3.5 and Python 3.6 added a lot of features about static type checking, so I tried with the following code (in python 3.6, stable version).
I wrote the following function: