Using a primitive is still undefined, but Template.hs compiles now