testsuite/tests/typecheck/should_fail/T12918a.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE DefaultSignatures #-}
module T12918a where

import Control.Monad.Trans.Class

class Monad m => MonadSupply m where
  fresh :: m Integer
  default fresh :: MonadTrans t => t m Integer
  fresh = lift fresh