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