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