chiasma-0.10.0.0: lib/Chiasma/Data/ReceiveEvent.hs

module Chiasma.Data.ReceiveEvent where

import Chiasma.Data.Event (Event)

data ReceiveEvent :: Type -> Type where
  ReceiveEvent :: ReceiveEvent Event