Re: [Haskell-cafe] A newbie question ?

On 28 April 2010 10:17, zaxis wrote:

newtype TypeMap = TypeMap (Map.Map TypeRep Dynamic)

lookup :: Typeable a => TypeMap -> Maybe a lookup (TypeMap mp) = res    where res = liftM (fromJust . fromDynamic) $ Map.lookup (typeOf $ fromJust res) mp

It seems that the `res` in  `fromJust res`  has not been defined ?

http://www.haskell.org/haskellwiki/Tying_the_Knot -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com