You're right. I removed some unnecessary template member functions from std.typecons.