Identificadores únicos opacos em monadas primitivas
