List constructor (without subtyping).