Constrain =>: to just Category instead of Arrow

As suggested by Stephen Compall