1      let Foldable = ./../Foldable/Type
2  
3  in  let NonEmpty = ./Type
4  
5  in  ./../Traversable/extractFoldable NonEmpty ./traversable : Foldable NonEmpty