• ? 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
    
    ♡ recommended by @ndtimofeev, @segfault

Replies (11)