Property package:smallcheck

The type of properties over the monad m.