This module provides some Moosish types and a typer builder.