On Sat, 10 Apr 2021, Keith wrote: > Might be more convenient to use an associated type family. I have done something similar here: http://hackage.haskell.org/package/comfort-array