Feature Request: RowCompose
eric-corumdigital opened this issue · comments
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.
This was added in #63 via the APPLY/$ type. It's polymorphic, so it works on rows and other types, too.