Also, to make this at least vaguely tech related, would the Haskell signature look something like this?
trump :: MorallyBankrupt a => a -> Maybe (FinanciallyBankrupt a)