[Haskell] linear implicit parameters