ParentFull threadtel·It's a common trick from the 'transformers' lib to define type SomeMonad = SomeMonadT IdentityView on HN