fun validate((InstanceOf['My']) $m) {  # <- Works :-)
#            ~                ~