decodeTraversable and encodeFunctor fall below the Fairbairn threshold now