Implementing types by using template aliasing.