sig
  type 'a spine =
      Con : 'a -> 'a Generic_view_spine.T.spine
    | App : ('a -> 'b) Generic_view_spine.T.spine * 'a Generic_core.Ty.T.ty *
        'a -> 'b Generic_view_spine.T.spine
end