[Haskell-cafe] Obscure instances for Obscure types