Type safety of Blocked Bros in user model