ZipList.elm

import Html exposing (text)
import String

type alias ZipList a b = List (a -> b)

zipper : ZipList number number
zipper = [(*) 1, (*) 2, (*) 3]

zipper2 : ZipList number number
zipper2 = [(*) 1, (*) 2, (*) 3, (*) 4]

zipperStr : ZipList Int String
zipperStr = List.repeat 4 ((++) "!" << toString)

zipList : ZipList a b -> List a -> List b
zipList zipper list =
  case (zipper, list) of
    (x::zipperTail, y::listTail) ->
      [x y] ++ zipList zipperTail listTail
    (_, _) -> []

result = zipList zipperStr [1, 2, 3, 4, 5]
main =
  result
  |> toString
  |> text