module Doing::Types