Most of it works with regular type errors, except for this one case. Would be nice if there was an inverse to
extends. Oh well, at least I made the message helpful
Getting the type programming right fried my brain in addition to the heat. 
Most of it works with regular type errors, except for this one case. Would be nice if there was an inverse to
Most of it works with regular type errors, except for this one case. Would be nice if there was an inverse to