IMO, the best way to do this is to provide multimethods to give you both polymorphism while letting the compiler know how objects are laid out.