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

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

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