I would want to create custom type checker to my type where I could define my own type checker function to check complex rules:
For example, I have my custom type int
