Feature Request: RowCompose

[eric-corumdigital]

type RowCompose (r :: # Type -> # Type) (s :: # Type -> # Type) (a :: # Type) = r (s a)

Can have variants for right-to-left and left-to-right, as well as operator names. I found this to have utility where RowApply is insufficient. Specifically when I need a # Type -> # Type and not a # Type.

[JordanMartinez]

This was added in #63 via the APPLY/$ type. It's polymorphic, so it works on rows and other types, too.