On Wed, Nov 13, 2013 at 11:15 AM, Eric Dobson <notifications@github.com>wrote:

> Going with typecheck-failure to keep the noun and put the noun on the
> failure side instead of the checking. Also because typecheck-fail is taken
> by the user exported name.



Sounds good.