"Magpie is currently undergoing a rebirth, so all of the docs and code here are in a huge state of flux, incompletion, or are outdated. You're welcome to poke around, but take it all with a huge grain of salt."
The examples in the readme are already a tiny bit more concise, using "foo Foo" as a type-checking pattern instead of "foo is Foo".
