constrained-some-0.1.3: test/Main.hs

module Main (main) where

import Data.Some.Constraint ( SomeF, Somes1(..) )

main :: IO ()
main = do
  let someListShowable :: SomeF [] Show
      someListShowable = Some1 [1, 2, 3 :: Int]
  print someListShowable