pool:Lang.F.pool -> title:string -> Tactical.feedback