enhanced documentation
unary action application on either right
removed variance from lifted functions