liquidhaskell-0.8.10.7: typeclass-tests/Data/Functor/State.hs

module Data.Functor.State where

{-@ data State s a = State {runState :: s -> (a,s)} @-}
data State s a = State {runState :: s -> (a,s)}