Adding behaviour to any type using Type Aliasing