module PropCheck::Errors