-- not supported (not needed at the moment)
tcDowngradeRole_maybe _ Phantom                = const Nothing
tcDowngradeRole_maybe _ Phantom                = const Nothing
tcDowngradeRole_maybe _ Phantom                = const Nothing