Make map's consistency with ap/point an applicative law.