I loved APL for decades but realized a while back that thing I appreciated most about the language wasn't how it deals with arrays but rather how well it suppor

I loved APL for decades but realized a while back that thing I appreciated most about the language wasn't how it deals with arrays but rather how well it supported the easy composition of functions -- and that primed me well for languages that do that sort of thing even better. And yet I miss many things about APL when coding in modern functional languages. Specifically, having the shapes of arrays being a concept that's distinct from both their types and from their values is something that I can't reproduce in Haskell.