Perm16.Algebra.id should be a val to avoid loads of allocations.