Testing Lucid lightweight library

\begin{code}
module Test where
\end{code}

\begin{code}
import Lucid
\end{code}

Testing Lucid by moving (running) average:

\begin{code}
average n = pointwise2 (/) (summa n) card
\end{code}

Lambda-lifting |summa|, |card|: not only |average| can use them.

\begin{code}
summa n = first n `fby` pointwise2 (+) (summa n) (next n)
\end{code}

\begin{code}
card = constant 1 `fby` pointwise1 succ card
\end{code}