MonoLocalBindsの影響

MonoLocalBinds.hs

{-# LANGUAGE MonoLocalBinds, ScopedTypeVariables #-}
module MonoLocalBinds where
import Control.Monad.ST
import Data.STRef

f :: forall a. a -> ((a, Char), (a, Bool))
f x = (g 'v', g True)
  where
    g :: b -> (a, b) -- コメントアウトするとgはgeneralizeされない
    g y = (x, y)

foo :: forall a. Bool -> a -> a -> a
foo b x y = runST $ do { r <- newSTRef x; fill r; readSTRef r }
  where
    fill :: STRef s a -> ST s () -- コメントアウトするとfillはgeneralizeされない
    fill r = case b of
               True  -> return ()
               False -> writeSTRef r y