Updates

A few fixes for various changes that have happened in purescript-land