basic recognition for ApplyUnary