Make list.mb much more typesafe.