1  ./../Comonad/fromExtractExtend
2  ./Type
3  (λ(a : Type) → λ(nel : ./Type a) → nel.head)
4  (   λ(a : Type)
5    → λ(b : Type)
6    → λ(f : ./Type a → b)
7    → λ(nel : ./Type a)
8    → { head = f nel, tail = [] : List b }
9  )