yav/smtLib — pull request #1 by TomMD (2013-03-19 16:42:02+00:00)
Title: Derive Data and Typable

Generics are oh so generic.