this should be a type synonym