minor rewording
remove unnecessary constraints on fst and snd