1/1: Building Album (Album.idr)
1/1: Building Eq (Eq.idr)
1/1: Building Expr (Expr.idr)
1/1: Building Fold (Fold.idr)
1/1: Building Tree (Tree.idr)