hoogle
Hoogle.DataBase.Instances
data Instances
Instances
createInstances :: [Instances] -> [Fact] -> Instances
normInstances :: Instances -> TypeSig -> TypeSimp
hasInstance :: Instances -> String -> String -> Bool