\begin{code}
module Maybes (
- Maybe2(..), Maybe3(..),
MaybeErr(..),
orElse,
infixr 4 `orElse`
\end{code}
-
-%************************************************************************
-%* *
-\subsection[Maybe2,3 types]{The @Maybe2@ and @Maybe3@ types}
-%* *
-%************************************************************************
-
-\begin{code}
-data Maybe2 a b = Just2 a b | Nothing2 deriving (Eq,Show)
-data Maybe3 a b c = Just3 a b c | Nothing3 deriving (Eq,Show)
-\end{code}
-
-
%************************************************************************
%* *
\subsection[Maybe type]{The @Maybe@ type}