Property package:tasty-smallcheck

The type of properties over the monad m
Create a Test for a SmallCheck Testable property