A derivable crate