\begin{code} module ChannelVar {-# DEPRECATED "MVar now provides the functionality of CVar" #-} (module CVar) where import CVar \end{code}