{-# OPTIONS_GHC -fno-warn-orphans #-}

module Yesod.Core.Types.Instances
  (
  ) where

import ClassyPrelude
import Yesod.Core.Types

import Control.Monad.Fix

instance MonadFix m => MonadFix (HandlerT site m) where
  mfix f = HandlerT $ \r -> mfix $ \a -> unHandlerT (f a) r
  
instance MonadFix m => MonadFix (WidgetT site m) where
  mfix f = WidgetT $ \r -> mfix $ \ ~(a, _) -> unWidgetT (f a) r
