class HasClass c t b | c t -> b where Source # ... has an instance for type t there should be an instance HasClass c t True where classDict _ _ _ = TDict .
確定! 回上一頁