The Wombat Programming Language
I know my design would be better if I understood more of: Scalaz; Typeclassopedia; HoTT; and lots of other stuff. But maybe the people who do would like to comment (at least to the extent of recommending what to learn and where).
The "Wombat Summary and Rationale" document is at https://docs.google.com/document/d/1MXH4y75gViHDTldrAhXVMVUOXZJhwh3EwjXgn6k5Ncs/edit, with comments enabled. Or you can comment here. Or in my Google+ post. Or post an issue at http://wombatlang.googlecode.com.