I have something similar to
> class (Eq a) => Substitutable a where
> match :: a -> a -> Maybe (Substitution a)
> applySubst :: Substitution a -> a -> a
and two Types Type1, Type2, both of which are instances of class
Substitutable. In some places there is a sigma :: Substitution Type1
(or a
Hi Marko,
| I have something similar to
|
| > class (Eq a) => Substitutable a where
| > match :: a -> a -> Maybe (Substitution a)
| > applySubst :: Substitution a -> a -> a
|
| and two Types Type1, Type2, both of which are instances of class
| Substitutable. ... but defining
|
| > instance S
