NumHask.Algebra