Hi, The Ur/Web module system doesn't support opaque ascription currently. Is there a reason for that considering that the compiler implementation makes fairly extensive use of this Standard ML feature? -- Best regards, Ron de Bruijn