ghc-exactprint-1.9.0.0: tests/examples/pre-ghc910/T10423.hs

{-# LANGUAGE FlexibleInstances, TypeFamilies, MultiParamTypeClasses #-}

module T10423 where

class Monad m => Testable m a

newtype Prop m = MkProp (m Int)

instance (Monad m, m ~ n) => Testable n (Prop m)