{-# LANGUAGE DerivingVia #-}

{-# LANGUAGE GeneralisedNewtypeDeriving #-}

newtype R a = R {unR :: a} deriving (Show, Functor)

newtype R a = R {unR :: a}
    deriving stock (Show, Functor)
    deriving (Applicative, Monad) via Identity