@hackage lr-acts0.0.1

Left and right actions, semidirect products and torsors