using F to name higher kinds in consistence to scalaz