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)