Type optional, type verification, return