Trying to get rid of type constraints