Warning: I've changed unlimited factions. Now you can't reconnect to it infinitely like this, b :: Broadcast b -> x b -> y b -> z you have to give separate output (or input) numbers b -> x b [1] -> y b [2] -> z Also, got rid of the Address class. Now we just have IPAddresses and EtherAddresses. love,ed