Test.SmallCheck.Prism