@raulraja thanks, you sent me down another learning path with the free applicative example too...just watched john de goes' talk about it and seems quite powerful and your blog on coproduct