bang. hitten invariance problem of type members
one step further towards eternity
tests again with refactored proc -> Obj.T
re-enable these type aliases