вычисление среднего в односвязанном списке "со сложностью O(1) по памяти" на хаскеле решается ровно так же, как и везде, но с учётом ленивости. Это такой же вопрос на "знание кишочков в объеме чуть глубже среднего", как вопрос "как реализовать потокобезопасный синглтон?".