Instantiating fixture traits from FunSpec