TrustworthySafe02.hs:1:14: Warning:
    ‘TrustworthySafe02’ is marked as Trustworthy but has been inferred as safe!