Type Alias PredefinedOpaque 

type PredefinedOpaque<'db> = (OpaqueTypeKey<'db>, Ty<'db>);