Creates a binding statement ( x <- action )

Creates a non-binding statement ( action )

Creates a let statement ( let x = 3; y = 4 )

Creates a recursive binding statement with ( rec b <- f a c; c <- f b a )

Body of a list comprehension: ( | x <- [1..10] )

Normal monadic statement of a list comprehension

Then statements by TransformListComp ( then sortWith by (x + y) )

Grouping statements by TransformListComp ( then group by (x + y) using groupWith )

Creates a binding command ( x <- action )

Creates a non-binding command ( action )

Creates a let command ( let x = 3; y = 4 )

Creates a recursive binding command with ( rec b <- f a c; c <- f b a )