TrustworthySafe03.hs:2:14: warning: [GHC-19244] [-Wtrustworthy-safe (in -Wall)]
    ‘TrustworthySafe03’ is marked as Trustworthy but has been inferred as safe!