I find the idea of unions involving opaque types highly confusing. -- Anthony Ramine Le 27 mai 2014 à 14:54, Jan Chochol <jan.chochol@REDACTED> a écrit : > -spec a(atom() | binary() | opq()) -> opq().