Keyword: polymorphic recursion

• SquareMatrices: From Fast Exponentiation to Square Matrices
  Jean-Christophe Filliâtre