Using types as compile-time values provides possibilities for abstraction beyond of what standard parametric types can offer. This extended abstract explains how the Fuzion language unifies the handling of type arguments and value arguments in calls and how types can be equipped with callable features. Furthermore, the use of types to distinguish multiple instances of algebraic effects shown.