id,summary,reporter,owner,description,type,status,milestone,resolution,keywords,cc,section,state
98,Restricted Data Types Now,guest,none,"We should adopt Oleg's ""Restricted Data Types Now"" approach for simpler cases, like Functor, that don't involve creating new type classes.
{{{
class Functor f a b where
    fmap :: (a -> b) -> f a -> f b
instance (Ord a, Ord b) => Functor Data.Set.Set a b where
    ...
}}}",task,new,,,restricted data types,,,