\begin{verbatim}

**********************
mapshape
**********************

mapshape = - : (int list -> (* list -> **) list -> * list -> ** list)

\end{verbatim}
