module TinyGate::Types