Renamed Composition -> On. so now On (Reverse (Sparse ..) ..) can be
used, and the types are slightly less terrifying looking