@hackage lr-acts0.0

Left and right actions, semidirect products and torsors