Examples for #:opaque and require/typed/provide