Concrete vs abstract / structural / logical types

Any thoughts on writing funcs for classes of types  (like abstract float, or abstract tables), or is this meant to only work the specific memory layouts?

Re dispatch, can the logic be different for different argument overloads or is it just a matter of code generation?