deque-blog/bad_cast_and_good_cast.idr

## bad_cast_and_good_cast.idr
the Int (cast "abc")
=> 0 : Int

the Int (cast "123")
=> 123 : Int
	the Int (cast "abc")
	=> 0 : Int

	the Int (cast "123")
	=> 123 : Int