[simantics/platform.git] / UnresolvedTypeInInstance.scl

class Functor f where
    map :: (a -> b) -> f a -> f b

data Iddd a = Idd a

instance Functor Idd where
    map (Idd x) = x
--
6:18-6:21: Didn't find type constructor Idd.