\input{fold/bei}
\input{fold/peano}
\input{fold/map}
\input{fold/assoc}
\input{fold/mapred}

