Zero or all optional but typed parameters

Question

I am just about to learn some typed functional programming, so just started with an implementation of partial application - which should be type safe.

Problem: I am t