blob: a5250d556fe860f5151a18fb6b1afb1c9f92616b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
Simple14.hs:17:12:
Couldn't match type `z0' with `n'
`z0' is untouchable
inside the constraints (Maybe m ~ Maybe n)
bound at a type expected by the context:
Maybe m ~ Maybe n => EQ_ z0 z0
`n' is a rigid type variable bound by
the type signature for foo :: EQ_ (Maybe m) (Maybe n)
at Simple14.hs:17:1
In the second argument of `eqE', namely `(eqI :: EQ_ m n)'
In the first argument of `ntI', namely `(`eqE` (eqI :: EQ_ m n))'
In the expression: ntI (`eqE` (eqI :: EQ_ m n))
|