• qnikst
    qnikst
    :( Haskell typefun Proof.lhs:70:14:
    Could not deduce (LessThen255 n) arising from a use of ‘magick’
    from the context (LessThen255 n, KnownNat n)
    bound by the type signature for
    magicEx1 :: (LessThen255 n, KnownNat n) =>
    Proxy n -> Proof2 LessThen255
    at Proof.lhs:69:15-74
    Relevant bindings include
    magicEx1 :: Proxy n -> Proof2 LessThen255 (bound at Proof.lhs:70:3)
    In the expression: magick Dict
    In an equation for ‘magicEx1’: magicEx1 = magick Dict

Replies (2)