type List[Elem]
op c : List[Elem]
op c :?List[Elem]
op c : ? List[Elem] : Type