1/9: Building Double (Double.idr)
2/9: Building Generic (Generic.idr)
3/9: Building HOF (HOF.idr)
4/9: Building Partial (Partial.idr)
5/9: Building Reverse (Reverse.idr)
6/9: Building Average (Average.idr)
7/9: Building AveMain (AveMain.idr)
8/9: Building Let_Where (Let_Where.idr)
9/9: Building All (All.idr)
