∀ {G : Type u_1} [inst : AddGroup G] {S : Type u_3} {H : Type u_4} [inst_1 : AddGroup H] [inst_2 : SetLike S H]
  [AddSubgroupClass S H] {s : S} [inst_4 : AddAction G H] [VAddAssocClass G H H], AddAction.IsBlock G ↑s