Some Moosish types and a type builder
