module TypedRb::Types