module Main where

import Effect.Console (log)

import Data.Newtype

type MyString = String

newtype Test = Test MyString

derive instance newtypeTest :: Newtype Test _

t :: Test
t = wrap "hello"

a :: String
a = unwrap t

newtype First a = First a

derive instance newtypeFirst :: Newtype (First b) _

f :: First Int
f = wrap 1

i :: Int
i = unwrap f

main = log "Done"