Data.Unfoldable.Restricted
class UnfoldableR pred t
class BiUnfoldableR predA predB t
class Hashable' a