Get rid of Proxy in laws suites

[chshersh]

Currently suites take Proxy as an argument. But it's better to use AllowAmbiguousTypes extension to not pass Proxy and pass types directly.

containers-backpack/containers-contrib-readonly/src/Map/Contrib/Laws.hs

Lines 79 to 84 in c84b22f

	checkLaws
	:: forall k v. (Key k, Arbitrary k, Arbitrary v, Show k, Show v, Eq k, Eq v)
	=> Proxy k
	-> Proxy v
	-> IO ()
	checkLaws _ _ = do