mirror of
https://github.com/barrucadu/dejafu.git
synced 2024-12-22 04:51:41 +03:00
13 lines
356 B
Haskell
13 lines
356 B
Haskell
{-# LANGUAGE ImpredicativeTypes #-}
|
|
|
|
-- | This is a separate module because of the need for
|
|
-- ImpredicativeTypes, which breaks things elsewhere in the main
|
|
-- SearchParty module.
|
|
module Examples.ClassLaws.Impredicative where
|
|
|
|
import Control.Monad.ST (ST, runST)
|
|
import Unsafe.Coerce (unsafeCoerce)
|
|
|
|
runST' :: ST t Bool -> Bool
|
|
runST' = unsafeCoerce runST
|