Algebra.Internal

toProxy