Verified Commit da071862 authored by Justin Andresen's avatar Justin Andresen
Browse files

Remove unused type application

parent 622304b2
......@@ -3,7 +3,6 @@
{-# LANGUAGE TemplateHaskell, ScopedTypeVariables #-}
{-# LANGUAGE LambdaCase, BlockArguments #-}
{-# LANGUAGE GADTs, FlexibleContexts, TypeOperators, DataKinds, PolyKinds #-}
{-# LANGUAGE TypeApplications #-}
module MyProgs where
......@@ -25,8 +24,7 @@ myInitialState :: Int
myInitialState = 42
runMyProg :: IO (Int, Bool)
runMyProg = runM @IO . runMyState myInitialState $ myProg
runMyProg = runM . runMyState myInitialState $ myProg
logMyProg :: IO (Int, Bool)
logMyProg =
runM @IO . printLog . runMyState myInitialState . logMyState $ myProg
logMyProg = runM . printLog . runMyState myInitialState . logMyState $ myProg
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment