The canonical form of
a::b
is: