Formatting; better kind projecting; preview of 2nd part.
Use long lambda syntax, disambiguated sum function name.
Show type error, pretty symbols.
Scaladoc link.
Avoid infix type application in a couple places, for clarity.
Move leibniz part 1 to today.
Merge pull request #25 from S11001001/leibniz-1

New post: "A function from type equality to Leibniz"
Add links and one more planned topic to Leibniz #1 post.
Explain `?` syntax at point of use.
Raw post on the singleton instance/fake covariance cast trick.
Formatting; filling in bits from actually testing.
Missing link.
Which is which, with regard to our "tricks".
A working singleton type base example.
Which Scala version.
Bad punctuation.
Missed inline code.
Merge pull request #26 from S11001001/topic/singleton-instances-patmat

New post: "The singleton instance trick is unsafe"
Reformat, stray parens.
tuned