Test PolyKinds. Fixes #30.