refTypeEq
cats
refTypeOrder
cats
refTypeShow
cats
refTypeViaContravariant
cats
DerivationInstances
refTypeViaMonadError
cats
DerivationInstances
refineMT
refined
refineMV
refined
refineT
refined
refineV
refined
refined
timepit
refinedSize
CatsNonEmptyListRefinedOps