Something

contains ( list : [T],
           needle : T ) =
    if list.empty ?
        false;
    else ?
        (h,t) = list.pop;
        if h == needle ?
            return true;
        else ?
            return t.contains cond;