{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE ConstraintKinds #-}
module Example where

import           Data.CallStack

test :: CallStack
test = foo

foo :: HasCallStack => CallStack
foo = bar

bar :: HasCallStack => CallStack
bar = callStack