Example: `Some` If called from Lisp, it just calls the fdefn of Some. If called from Coalton, it's fine.