module CadenceThrift