YOU SAID:

Wouldn't be too hard to make a newtype IdentityFail a = IdentityFail { runIFail :: Identity a } deriving (Functor, Applicative, Monad) either

INTO JAPANESE

newtype IdentityFail a = IdentityFail {runIFail :: Identity a}派生（Functor、Applicative、Monad）にするのも難しくありません

BACK INTO ENGLISH

newtype IdentityFail a = IdentityFail {runIFail :: Identity a} Derived (Functor, Applicative, Monad) is not difficult

INTO JAPANESE

newtype IdentityFail a = IdentityFail {runIFail :: Identity a}派生（Functor、Applicative、Monad）は難しくありません

BACK INTO ENGLISH

newtype IdentityFail a = IdentityFail {runIFail :: Identity a} Derivation (Functor, Applicative, Monad) is not difficult

INTO JAPANESE

newtype IdentityFail a = IdentityFail {runIFail :: Identity a}派生（Functor、Applicative、Monad）は難しくありません

BACK INTO ENGLISH

newtype IdentityFail a = IdentityFail {runIFail :: Identity a} Derivation (Functor, Applicative, Monad) is not difficult