Extraction for case classes with type parameters.

Closes #13.