Deriving TypeScript fails for a higher-kinded, indirectly-recursive type about aeson-typescript HOT 2 CLOSED

{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeApplications #-}

module Test () where

import qualified Data.Aeson as Aeson
import qualified Data.Aeson.TypeScript.TH as TS
import           Data.Functor.Identity
import           Data.Proxy
import           Data.Typeable
import           GHC.Generics (Generic)

data Foo a = Foo (Identity (Foo a))
  deriving (Generic)

instance (Typeable a, TS.TypeScript a) => TS.TypeScript (Identity a) where
  getTypeScriptType _ = TS.getTypeScriptType (Proxy @a)

$(TS.deriveTypeScript Aeson.defaultOptions ''Foo)

main = do
  putStrLn (TS.formatTSDeclarations (TS.getTypeScriptDeclarations @(Foo TS.T) Proxy))