tcDowngradeRole_maybe Phantom _
  = panic "tcDowngradeRole_maybe Phantom"
tcDowngradeRole_maybe Phantom _
  = panic "tcDowngradeRole_maybe Phantom"
tcDowngradeRole_maybe Phantom _
  = panic "tcDowngradeRole_maybe Phantom"