In Erlang, is it possible to define a type by excluding a sub-type from another type? As an example, how would I define a type that is "anything but pid()&
pid()
