final replacement of data type with "just" type