an Effect in Idris for managing shared resources concurrently