SCLoop.hs:22:7: error: [GHC-39999] • No instance for ‘SC ()’ arising from a use of ‘op’ • In the expression: op () ([Just True]) In an equation for ‘foo’: foo = op () ([Just True])