qualifyMeasureNames too/fst --> Data.Tuple.fst (DONE)
qualifyMeasureNames too/fst --> Data.Tuple.fst (DONE)

ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell