Handle :: () type used in the implementation of Seq and List