Haskell TypeFamilies confusion

TypeFamily.hs

{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE FunctionalDependencies #-}

type Logger m = Severity -> String -> m ()

-- Fundep
class HasLoggerFundep r m | r -> m where
  loggerLFundep :: Lens' r (Logger m)

x :: (MonadReader r m, HasLoggerFundep r m) => m ()
x = do
  log <- asks (^. loggerLFundep)
  log DebugS "x"

-- Type Families
class HasLogger r where
  type LoggerF r :: Type -> Type
  loggerL :: Lens' r (Logger (LoggerF r))
  
y :: (MonadReader r m, HasLogger r) => m ()
y = do
  log <- asks (^. loggerL)
  log DebugS "x"

error:
    • Couldn't match type ‘m’ with ‘LoggerF r’
      ‘m’ is a rigid type variable bound by
        the type signature for:
          y :: forall r (m :: * -> *). (MonadReader r m, HasLogger r) => m ()
      Expected type: Control.Lens.Getter.Getting
                       (Severity -> String -> m ()) r (Severity -> String -> m ())
        Actual type: (Logger (LoggerF r)
                      -> Data.Functor.Const.Const
                           (Severity -> String -> m ()) (Logger (LoggerF r)))
                     -> r -> Data.Functor.Const.Const (Severity -> String -> m ()) r
    • In the second argument of ‘(^.)’, namely ‘loggerL’
      In the first argument of ‘asks’, namely ‘(^. loggerL)’
      In a stmt of a 'do' block: log <- asks (^. loggerL)