Extracto[A, B] extends (A => Option[B])