t -> Maybe a_i, есть x,x' : t, мне надо найти наименьшие i,i' для которых f_i x /= Nothing, f_i' /= Nothing
и если i==i', сравнить соответствующие fromJust $ f_i x и fromJust $ f_i x'
можно сделать это более идиоматично, чем через лесенку if/case?
О, это наверное можно через existentials сделать
Обсуждают сегодня