fsCheck and nSubst