Wtf

Documentation

slowBeforeSpecialization :: Member (State Int) r => Semantic r Int

countDown :: Int -> Int

prog :: Semantic '[State Bool, Error Bool, Resource, Lift IO] Bool

zoinks :: IO (Either Bool Bool)