otherwise = True
\end{code}
-
%*********************************************************
%* *
\subsection{The @()@ type}
breakpointCond :: Bool -> a -> a
breakpointCond _ r = r
+data Opaque = forall a. O a
+
-- | Constant function.
const :: a -> b -> a
const x _ = x