Skip to content

Instantly share code, notes, and snippets.

@mizunashi-mana
Created March 18, 2019 09:45
Show Gist options
  • Save mizunashi-mana/72b043cfbf63d3996ef7474922fb484d to your computer and use it in GitHub Desktop.
Save mizunashi-mana/72b043cfbf63d3996ef7474922fb484d to your computer and use it in GitHub Desktop.
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE DerivingVia #-}
{-# LANGUAGE StandaloneDeriving #-}
module MayBreakDerivingVia where
import Control.Monad.Trans.Reader
newtype T m a = T (Int -> m a)
deriving via (ReaderT Int m) instance Functor m => Functor (T m)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment