add commented out FT plated instance showing that it can't work due to
the monad constraint on converting to/from FreeT