\haddockmoduleheading{TypeFamilies3}
\label{module:TypeFamilies3}
\haddockbeginheader
{\haddockverb\begin{verbatim}
module TypeFamilies3 (
    Foo,  Bar,  Baz(Baz3, Baz2, Baz1)
  ) where\end{verbatim}}
\haddockendheader

\begin{haddockdesc}
\item[\begin{tabular}{@{}l}
type\ family\ Foo\ a\ where
\end{tabular}]\haddockbegindoc
\haddockbeginargs
\haddockdecltt{Foo () = Int} \\
\haddockdecltt{Foo \_ = ()} \\
\end{tabulary}\par
A closed type family\par

\end{haddockdesc}
\begin{haddockdesc}
\item[\begin{tabular}{@{}l}
type\ family\ Bar\ a
\end{tabular}]\haddockbegindoc
An open family\par

\end{haddockdesc}
\begin{haddockdesc}
\item[\begin{tabular}{@{}l}
type\ instance\ Bar\ Int\ =\ ()\\type\ instance\ Bar\ ()\ =\ Int
\end{tabular}]
\end{haddockdesc}
\begin{haddockdesc}
\item[\begin{tabular}{@{}l}
data\ family\ Baz\ a
\end{tabular}]\haddockbegindoc
A data family\par

\end{haddockdesc}
\begin{haddockdesc}
\item[\begin{tabular}{@{}l}
newtype\ instance\ Baz\ Double\\data\ instance\ Baz\ Int\\data\ instance\ Baz\ ()
\end{tabular}]
\end{haddockdesc}