module CliRedBlue where import LibBlue import qualified LibRedBlue as RB {-@ yumyum :: _ -> Nat @-} yumyum = RB.foo