More properties, drop mapM, add unzip