Abs
pure
App
pure
andThen
ExprFunOps
apply
Codec ExprFunOps Opaque Embeddable term Typeable
arg
App
args
Type