Removing unused profunctors dependency and adding lower bounds to category-extras