Profunctor exports + user-exposed API