Just an empty derivable for deriving my own products