-- | Versions of 'mutable' and 'constant' restricted to 'Exp' 'String', used to avoid
--   ambiguous type errors.
mutableStr, constantStr :: String -> Exp String -> Action (Exp String)
mutableStr = mutable
mutableStr, constantStr :: String -> Exp String -> Action (Exp String)
mutableStr = mutable
mutableStr = mutable