defCase and show/bind defs for options and eithers