Use type abstraction for all parameters

This goes back to coarse-grained abstraction for parameters,
which is trade-off between performance and expressiveness.

Author: liufengyun