• ? Haskell typefun чет туплю, есть
    as :: V a n
    bs :: V a n1
    ev :: n ~ n1

    f :: V a n -> V a n -> V a n

    как применить f as (_wtf bs)?
    я так понимаю, мне нужно имея ev, доказать что V a n :~: V a n1?

Replies (19)