Except that you lose type safety (or write an implementation for every permutation of types..)