We still need functorstack to convert between representations