Check if `$user` implements your expected interface before this