PSCi, version 0.12.1

-- | Type class for a notification management capabiltiy.
class Monad m <= NotificationManager m where
  sendNotification ∷ Notification → m Unit

instance notificationManagerHalogenM
  ∷ NotificationManager m
  ⇒ NotificationManager (HalogenM s f g p o m) where
  sendNotification = lift ∘ sendNotification

class Now m <= Logging m where
  logMessage ∷ Message → m Unit

instance loggingHalogenM
  ∷ Logging m
  ⇒ Logging (HalogenM s f g p o m) where
  logMessage = lift ∘ logMessage