[Haskell-cafe] A functor for two Peano systems
olf at aatal-apotheke.de
Mon Apr 5 19:57:23 UTC 2021
You should try to
1. destill which basic operations are necessary on the types Int,
MyNum to make your algorithms work,
2. write a type class for these operations,
3. write type class instances for Int and MyNum,
4. write a generic algorithm that works for all members your class, which
ideally looks almost identical to the specific code you already have.
I dare say this is a common way of reducing boilerplate code in Haskell.
BTW, you should consider Numeric.Natural instead of Int for Peano
More information about the Haskell-Cafe