type error if scanning List encounters
a non-list. Note that memberchk/2
does not perform a full list typecheck. For example,
[a|b]) succeeds without error. If List is cyclic and Elem
is not a member of
eventually raises a
here means it will scan as many elements as the longest list that may
exist given the current stack usage before raising the exception.