yes for this one, the Tfunctor was wrong ;(