← All posts tagged руки

qnikst
? code Haskell руки кривые
куда чиатть про untouchable типы?

У меня такая хренотень выезла:


        Couldn't match type ‘a1’ with ‘G.Graph’
          ‘a1’ is untouchable
            inside the constraints (a ~ a2)
            bound by a pattern with constructor
                       Refl :: forall (k :: BOX) (b :: k). b :~: b,
                     in a case alternative