Haskell喜欢的语言：如何创建一个零列表对象

Question

我具有以下“列表对象”类型，该类型带有类型参数并返回一条记录。我想知道如何创建一个空列表。

谢谢。

OO_List = lambda X.
  { Some R, { state:R, nil:R,
    isnil: R -> Bool,
      cons: X -> R -> R,
        head: R -> X,
          tail: R -> R } };

P.S .：这种语言称为System F（fullomega）