@hackage / lr-acts

Left and right actions, semidirect products and torsors