Correct. It could be another highly composable abstraction in other DSLs. It just happens that, in practice, Expressions (ie things that evaluate to something) are most useful.