Comment by chrisseaton

Why's it a type error rather than inferring a sum type?