mini update
higher kinds fixed