Fix #13819 by refactoring TypeEqOrigin.uo_thing
[ghc.git] / testsuite / tests / typecheck / should_fail / T13819.hs
1 {-# LANGUAGE DeriveFunctor, TypeApplications #-}
2
3 module T13819 where
4
5 import Data.Coerce
6 import Control.Applicative
7
8 newtype A a = A (IO a)
9 deriving Functor
10
11 instance Applicative A where
12 pure = pure @(_ -> WrappedMonad A _) @(_ -> A _) pure
13
14 instance Monad A where