このコードがコンパイル通らないのですが、GHC拡張で何とかならないでしょうか。
-XScopedTypeVariablesではダメでした。
maxBoundInteger :: (Bounded a, Integral a) => a -> Integer
maxBoundInteger _ = fromIntegral (maxBound :: a)
More than 5 years have passed since last update.
Register as a new user and use Qiita more conveniently
- You get articles that match your needs
- You can efficiently read back useful information
- You can use dark theme