make it work with type checker
more examples