win wang (who is not in this chat) should probably get subliminal credit for this because he was talking with all the very intense compiler devs at scaladays about singleton types