Oh my god, I
finally found it...
...a decent MP3 player with stream support. Finally.
Hello, MOC[1]! XMMS, go eff yourself.
Of course I'm sorry for not using hmp3[2], but it doesn't do streams, appearently. At least not that I can tell from the website. Also missing Ogg support is a bit of a let-down.
[1]
"Music On Console" http://moc.daper.net
[2]
"hmp3 :: purely functional sound" http://www.cse.unsw.edu.au/~dons/hmp3.html