SDP QuickCheck contains Arbitrary instances for SDP structures.
QuickCheck depends on containers, array (implicitly) and template-haskell. No matter how useful this library is, it makes sdp heavier and cannot remain its dependency.
sdp-quickcheck follows of the Haskell PVP and SDP extension rules.