Блин, мне это что-то напоминает.
Напиши типы на входе и на выходе которым должна удовлетворять функция, если порядок аргументов значим, перепиши тип так, чтобы его нарушение стало невозможным. Напиши функцию удовлетворяющую этому типу. Произведи обобщение предыдущего кода с учётом нового.