Oh, right, I meant to say; sorry.

Turning on type families seemed to interfere with the type inference for the ST stuff, so I had to add some extra signatures for those.