A generalisation of Weyl's correspondence rule and the associated Moyal bracket for systems with non-linear phase spaces that admit symplectic transitive group actions is presented. This provides a simple account with explicit constructions of some of the general results of Bayen et al. (1978).