foo :: (HasCallStack) => Int
foo = undefined