You have a curried function:
(arg1) -> (arg2) -> arg1 - arg2;
Select all its possible types.
Create a free account to access the full topic