An empty derivable to derive my own products