It is not clear in the code which modules are from the TCB and which ones are the ones that the third-party code should include. We need to use Safe Haskell for that and label modules as Trustworthy or Safe (check MAC for a guide on that). https://github.com/OctopiChalmers/Multef/blob/11a5a74b207920b7ab9f9bfc6292c24a93f23995/src/FIO.hs#L1
It is not clear in the code which modules are from the TCB and which ones are the ones
that the third-party code should include.
We need to use Safe Haskell for that and label modules as Trustworthy or Safe (check MAC for
a guide on that).
Multef/src/FIO.hs
Line 1 in 11a5a74