(Data.Proxy.Proxy @(*) GHC.Base.String -> *) ->
Data.Either.Either (*) ((* -> *) -> *)