mk_effector :: Type    -- ^ type signature of the fn to create
            -> String  -- ^ name of the effector fn to create
            -> Name    -- ^ function parameter name
            -> Exp     -- ^ effector body
            -> [Dec]

mk_effector ts nam g = mkSimpleTypedFun ts (mkName nam) [g]
mk_effector :: Type    -- ^ type signature of the fn to create
            -> String  -- ^ name of the effector fn to create
            -> Name    -- ^ function parameter name
            -> Exp     -- ^ effector body
            -> [Dec]
mk_effector ts nam g = mkSimpleTypedFun ts (mkName nam) [g]
mk_effector ts nam g = mkSimpleTypedFun ts (mkName nam) [g]