prop : String -> Property -> Spec a ()Embed a hedgehog Property as an evince test case.
itProp : String -> PropertyT () -> Spec a ()Embed a PropertyT action (wraps in `property`).
itProp1 : String -> PropertyT () -> Spec a ()Embed a single-run property (wraps in `property1`).