У меня путаница с использованием типов, которые являются функциями.
Скажем, я хочу реализовать словарь, который при задании a и b возвращает Maybe b.
type Dict a b = a->Maybe b
Как я могу реализовать функцию вставки для этого словаря?
insertDict :: (Eq a) => a -> b -> (Dict a b)-> (Dict a b)
Я придумал следующее:
insertDict x y mydict = \a->Just y
но это неверно и отменит предыдущий словарь.