\subsection{About functional pearls\ldots}
\fps\ were first introduced in 1993 as a column in the \emph{Journal of
Functional Programming}. In the natural world a pearl is created by a living
-shelled mollusk when an irritating object enters their clam. A pearl is then
-formed around the irritation to encapsulate it and prevent it from doing more
-harm. \fps\ are elegant, instructive and fun columns of about 6 pages that
-present such a beautiful solution for a possible irritation. \fps\ should be
-readable by people with a general knowledge of functional programming but it
-should not require a lot of very specific domain knowledge. Several important
-persons in the functional programming academia have been editors of this
-column.
+shelled mollusk when an irritating object, a sand corn for example, enters
+their clam. A pearl is then formed around the irritation to encapsulate it and
+prevent it from doing more harm. \fps\ are elegant, instructive and fun columns
+of about 6 pages that present such a beautiful solution for a possible
+irritation. \fps\ should be readable by people with a general knowledge of
+functional programming but it should not require a lot of very specific domain
+knowledge. Several important persons in the functional programming academia
+have been editors of this famous column.
\subsection{Sand corn}
Dependant types in type systems are very expensive and often require the