Remove compiler warnings for 0.7.5

[honza]

• Unused variable in a forall
• Exporting non-type-constructors as constructors

I'm a beginner, feel free to shut me down if this is completely wrong.