Would it be reaosnable to suggest that the types should be validated?