Sugar for models with union types

[kris-brown]

If Ob is implemented by Union{A,B} for some model, then when declaring the model one is forced to write something like

@instance ThCategory{Union{A,B}, ...} [model::MyModel] begin

  id(x::Union{A,B}) = x isa A ? (... some A logic ...) : (... some B logic ...)

  ...
end

A multiple dispatch style approach would be preferred:

id(x::A) = ...
id(x::B) = ...

[kris-brown]

The problem is worse for if Hom were implemented by a union type, since compose would have four possibilities. Hopefully it is not too much of a hassle to handle all the possible cases (including explicit Union types).

[kris-brown]

Another problem is that there is a difference between implementing both A and B and implementing Union{A,B}, even for a unary operation. So this idea doesn't really work!