[agumonkey]

I wonder if there's an at-least type system so one could say it needs Person (n,a,c) and if it gets a Person (n,a,c,h) well that's consider a superset and thus accepted.

[enugu]

Sure, flow/typescript already do this by default.