FirstMaybe
scalaz
FirstOf
scalaz
FirstOption
scalaz
function
law