1 files changed, 6 insertions, 4 deletions

diff --git a/src/Sequence/Contact/Types/Internal.hs b/src/Sequence/Contact/Types/Internal.hs
index eaa1e19..f2052ee 100644
--- a/src/Sequence/Contact/Types/Internal.hs
+++ b/src/Sequence/Contact/Types/Internal.hs
@@ -2,7 +2,7 @@
 
 module Sequence.Contact.Types.Internal where
 
-import Sequence.Formula (Formula, FormulaM, Table)
+import Sequence.Formula (Formula, FormulaM, FormulaMT, Table)
 
 import Data.Map (Map)
 import Data.Set (Set)
@@ -18,6 +18,8 @@ import Data.CaseInsensitive (CI)
 
 import Data.ExtendedReal
 
+import Control.Monad.Trans.Maybe (MaybeT)
+
 newtype Hitzone = Hitzone { _hitzone :: CI String }
   deriving (Eq, Ord)
 
@@ -60,7 +62,7 @@ data DiceResult = CritSuccess { _rWith, _rBy :: Int }
 
 data TestResult = TestResult
                   { _rRoll   :: DiceResult
-                  , _rResult :: Effect
+                  , _rResult :: Maybe Effect
                   }
 
 data Test = Test
@@ -69,12 +71,12 @@ data Test = Test
             , _tCritFailureMod
             , _tBaseDifficulty
             , _tMod :: Int
-            , _tEffect :: DiceResult -> FormulaM Stats Effect
+            , _tEffect :: DiceResult -> FormulaMT MaybeT Stats Effect
             }
 
 data Modifier = Modifier (CI String) (Test -> FormulaM Stats Test)
 
-data Effect = Effect (CI String) (FormulaM Stats (Maybe Stats))
+data Effect = Effect (CI String) (FormulaMT MaybeT Stats Stats)
 
 data SeqVal = SeqVal
               { _seqRound :: Down Int