foo :: HasCallStack => Int
foo = undefined