ACF3: Mention mines time in a sequence where it has been forgotten String freeze is maintained, the string is already in stub.lua

{-# LANGUAGE ImpredicativeTypes #-}
module Main where

import qualified MODULE as M

main = undefined $ M.FUNCTION PARAMETERS