Similiar to Function but additionally accepts a context as an extra argument.
the type of the context
the type of the argument
the type of the result