philzook58/typelevel-rational not found