Unpacking using type family

TyFam.hs

{-# LANGUAGE TypeFamilies #-}
module Main where

type family Sneaky a where
  Sneaky (Maybe x) = x -> IO (Maybe x)


go :: Sneaky (Maybe Char)
go = return . Just

main :: IO ()
main = go 'a' >>= print