@dev@discuss.systems does it fail to type-check if you use it for anything other than beans?