deriving clause works, and FunDeps header
Making good progress