Commit 2020-09-28 11:21 7bbb759f

chore(algebra/free_algebra): Make the second type argument to lift and ι implicit (#4299) These can always be inferred by the context, and just make things longer. This is consistent with how the type argument for id is implicit. The changes are applied to downstream uses too.