Be more specific about unsafeCoerce# result types