blob: 92cf6202de841d35fb1cd98fd9dc60eec98e5a93 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
Overlap9.hs:10:7:
Could not deduce (F a ~ Int)
from the context (Show a)
bound by the type signature for g :: Show a => a -> F a
at Overlap9.hs:9:6-23
Relevant bindings include
x :: a (bound at Overlap9.hs:10:3)
g :: a -> F a (bound at Overlap9.hs:10:1)
In the expression: length (show x)
In an equation for āgā: g x = length (show x)
|