なぜ5 :: Sum Integerはリテラルとして機能しますか？

Question

なぜインタプリタで5 :: Sum Integer作業を行いますが

newtype NovoTipo a = NovoTipo a 

6 :: NovoTipo Integer与えられた動作しませんか？

Answer 1

Numインスタンスを持つ任意のタイプの数値リテラルを記述できます。 Sumhas it、あなたのnewtypeはそうではありません。

あなたはGHCiの次の方法でGeneralizedNewtypeDerivingを有効にすることができます。

:set -XGeneralizedNewtypeDeriving 

は、その後、あなたが書くことができます。

newtype NovoTipo a = NovoTipo a deriving (Num) 

そして6 :: NovoTipo Integerがよく型付けです。