`unsafeCast` is too unsafe. Add something like ```.hs saferCast :: IsSqlType b => Field_ n a -> Field_ n b ``` That's not much safer, but it is a bit more coherent!