-
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