The latest version of sop-core is 0.5.0.2-4.

Data.SOP.Constraint

Monadoc does not yet provide module details. Would you like to view this module on Hackage instead?