Building a cool thing in Scala with a friend/colleague - type safe disciplined checked logging.