Type parameters with unknown instead of any?

[Ingo Bürk]

What does the bug look like?

Currently we use any for all the missing types of parameters. We should consider using unknown instead, forcing the user to type it correctly.

Related: #91