Allow "T = compose R of ... end" to define both T and R