[smt88]

Even with an opinionated type system, it's possible to slack off a bit. There are different degrees of strictness/specificity when composing types.