A deep embedded point-free language with polynomial functors.
Experiments with deep embedding a point-free language with polynomial functors