Fully strict variants of the types provided in base.