TODO: Maybe and Many option types