Можно ли создать в Haskell API коллекций, подобных Scala 2.8?

API коллекций Scala имеет несколько довольно интересных свойств, и мне интересно, как их реализовать в Haskell; или если это вообще возможно (или хорошая идея в целом). Я немного новичок в haskell, поэтому хотел бы услышать ваши мысли.

Определение карты scala выглядит так:

def map[B, That](f: A => B)(implicit bf: CanBuildFrom[Repr, B, That]): That

Интересной особенностью этого API является то, что если вы отображаете строку и свою карту функция возвращает символ, результатом будет строка типа (а не список символов).