Add an example with type signatures that confirms #9 is a bug