Eq and Ord instances for FT via FreeT