wipple
wipple copied to clipboard
Check number of type parameters passed to type
Produce an error if the wrong number of type parameters are passed, and fill in Unknown
for missing ones.