vvaluemetaEitherToSum :: TermLike term TyName Name uni fun=> Type TyName uni ()-> Type TyName uni ()-> Either (term ()) (term ())-> term ()Peek#
vvaluemetaListToScottList :: TermLike term TyName Name uni fun=> Type TyName uni ()-> [term ()]-> term ()Peek#