Agda.TypeChecking.Reduce.Fast
fastReduce