Option coflatten/coflatMap
List coflatten/coflatMap