haskell - Haskell 部分適用が機能しないのはなぜですか?

Question

私の Haskell での作業は、楽しみのために Haskell で .Net F# プロジェクトを作り直すという形で行われます。

通常の Windows 構成ファイルを解析しています。1 行に 1 つのキーと値のペアがあり、キーと値は=. このファイルは非常にシンプルでわかりやすいため、解析コードをシンプルでわかりやすいものにすることができ、気に入っています。

私の質問は、以下のコードの最後の行で部分的な適用が機能しない理由です。明らかに、前の行やその他の機能で機能しています。

module Configuration (Config (..), load) where

import Data.Char (isSpace)
import Data.List (isPrefixOf)

data Config = Config { aliases :: [String]
                     , headers :: [String] }

-- This is a naive implementation. I can't decide if I like it better than
-- trim = unpack . strip . pack.
trim :: String -> String
trim = reverse . dropSpaces . reverse . dropSpaces

dropSpaces :: String -> String
dropSpaces = dropWhile isSpace

split _ [] = []
split c cs = [takeWhile (/= c) cs] ++ split c (tail' $ dropWhile (/= c) cs)
  where tail' []     = []
        tail' (x:xs) = xs

load :: String -> Config
load text =
  let ss = lines text
      hs = map getValue $ getLines "Header" ss
      as = split ',' $ getValue $ getLine "AliasList" ss
   in Config { aliases=as, headers=hs }
  where getLines p = filter (p `isPrefixOf`)
        getValue   = trim . drop 1 . dropWhile (/= '=')
        getLine    = head . getLines -- Why isn't partial application working here?

私が得ているエラーは次のとおりです。

Configuration.hs:30:29:
    Couldn't match expected type `[c0]'
                with actual type `[[a0]] -> [[a0]]'
    Expected type: [a0] -> [c0]
      Actual type: [a0] -> [[a0]] -> [[a0]]
    In the second argument of `(.)', namely `getLines'
    In the expression: head . getLines

ありがとう！