module Pragma::Contract::Types