changed data type to "just" type