type position =
    | Beginning
    | Middle
    | End