Boilerplate for Infers.Basic lib.