Test custom types combined with the 'exhaustively' flag.