Demonstrate a possible bug in SafeHaskell abstraction boundaries