pvz = (qual primMname) . (++ "zh")
{- Coercions -}
-symCoercion, transCoercion, unsafeCoercion :: Qual Tcon
+symCoercion, transCoercion, unsafeCoercion,
+ leftCoercion, rightCoercion, instCoercion :: Qual Tcon
symCoercion = pv "sym"
transCoercion = pv "trans"
unsafeCoercion = pv "CoUnsafe"
leftCoercion = pv "left"
-rightCoercion = pv "right"
+rightCoercion = pv "right"
+instCoercion = pv "inst"
{- Addrzh -}
tcAddrzh = pvz "Addr"