fmap() pure() and children() built out