function listSetFirst<A> input list<A> inConsCell "A non-empty list"; input A inNewContent; end listSetFirst;