Type your matrices for great good: a Haskell library of typed matrices and applications (functional pearl) Artigo de Conferência