type inf with subtyping (0)

by --Smith