type.cr

class Foo
  @foo : String | Int32 | Bool?
  @bar : String | Int32 | Bool?

  def initialize(@foo, @bar)
  end

  def bla
    foo = @foo
    bar = @bar

    if foo.is_a? String && bar.is_a? String
      puts foo + bar
    elsif foo.is_a? Int32 && bar.is_a? Int32
      puts foo + bar
    end

    # => undefined method '+' for Bool
    #if foo.is_a? String && bar.is_a? String ||
    #   foo.is_a? Int32 && bar.is_a? Int32
    #  puts foo + bar
    #end
  end
end

foo = Foo.new(4, 5)
foo.bla()