@rml the sweet tickle of a well tuned expressive type assertion