Type.BST
data BST a
data family Record s
data family Union s
class Fromlistable as
class Fromsumable as
class Foldable t
type family Tolist t :: [*]
class Accessible t key
class AccessibleF f t key
class Contains t key a
class ContainedBy key a t
class Searchable t key a
class SearchableF f t key a
class Unioncasable t t' res
class UnioncasableX t t' res
class Includes t t'
class IncludedBy t t'
class Balanceable t
class Metamorphosable f t t'
class Mergeable t t'
class Insertable t key
class Deletable t key
class Minnable t
class Maxable t
data Item key a
type (|>)
type With key
data family List as
data family Sum as
data LargestK
data SmallestK
type family CompareUser a b :: Ordering
class Showtype a