rename type param. s/M[_]/F[_]
fix typo