Add uncurryHyps to Derived.

Exposes a bug in evaluation. Haskell, why can't you prove type preservation for me!?