相关疑难解决方法(0)

有没有人知道一个只允许一定时间执行函数的函数.像这样的类型签名的东西.

limited::Int->(a->b)->a->IO (Maybe b)

我想不出如何实现,我找不到它.我问的原因是我要列出所有可能的Brainfuck程序,我想过滤那些花费太长时间的程序.