Hello Dominic, Monday, November 10, 2008, 10:56:37 PM, you wrote: > but this generates an error. Is there a way of allowing someone to use > AESKey in a type signature but not allow them to declare new instances? afaik module AES (class AESKey,...) -- Best regards, Bulat mailto:Bulat.Ziganshin at gmail.com