Type your matrices for great good: a Haskell library of typed matrices and applications (functional pearl). - Armando Santos; José N. Oliveira (Haskell@ICFP, 2020)