なぜGHC 7.10でタイプチェックされたこのコードは、GHC 8.0.1でタイプチェックをしなくなったのですか？

Question

私は次のコードを持っている：栄光のグラスゴーHaskellのコンパイルシステム、バージョン8.0.1.20161117を使用して

{-# LANGUAGE DefaultSignatures#-} 

import Control.Monad.Trans.Class 
import Control.Monad.Trans.Maybe 

class Monad m => MonadMaybe m where 
    liftMaybe :: Maybe a -> m a 
    default liftMaybe :: (MonadTrans t, MonadMaybe m) => Maybe a -> t m a 
    liftMaybe = lift . liftMaybe 

instance MonadMaybe m => MonadMaybe (MaybeT m) 

を、これはコンパイルに失敗します。

foo.hs:11:10: error: 
    • Couldn't match type ‘m’ with ‘MaybeT m’ 
     ‘m’ is a rigid type variable bound by 
     the instance declaration at foo.hs:11:10 
     Expected type: Maybe a -> MaybeT m a 
     Actual type: Maybe a -> MaybeT (MaybeT m) a 
    • In the expression: Main.$dmliftMaybe @MaybeT m 
     In an equation for ‘liftMaybe’: 
      liftMaybe = Main.$dmliftMaybe @MaybeT m 
     In the instance declaration for ‘MonadMaybe (MaybeT m)’ 
    • Relevant bindings include 
     liftMaybe :: Maybe a -> MaybeT m a (bound at foo.hs:11:10) 

をしかし、GHC 7.10で、これは問題なくコンパイル。

GHC 8は正しいですか、またはバグを発見しましたか？

Answer 1

GHC 7.10にもかかわらず、あなたのコードは実際には意味がありません。説明はhttps://ghc.haskell.org/trac/ghc/ticket/12784を参照してください。