haskell-tools-refactor-0.6.0.0: examples/Decl/GadtConWithCtx.hs

{-# LANGUAGE GADTs #-}
module Decl.GadtConWithCtx where

data Concurrently m a where
  Concurrently :: Monad m => { runConcurrently :: m a } -> Concurrently m a