:<
data
@@
newtypes
∘
ComposeSyntax