It looks very similar to Either functor (left which always return nothing). Looks cool though.