Change Val from type synonym to a data type