import qualified RIO.Map as MapThis module does not export any partial or unchecked functions. For those, see RIO.Map.Partial and RIO.Map.Unchecked
>>> data AddMul :: Nat -> Nat -> Exp Nat >>> type instance Eval (AddMul x y) = (x TL.+ y) TL.* (x TL.+ y) >>> :kind! Eval (Map (AddMul 2) '[0, 1, 2, 3, 4]) Eval (Map (AddMul 2) '[0, 1, 2, 3, 4]) :: [Nat] = '[4, 9, 16, 25, 36]