import { Newtype, iso } from 'newtype-ts'

// この2つを定義しておく
interface EUR extends Newtype<{ readonly EUR: unique symbol }, number> {}
const isoEUR = iso<EUR>()	// :: Iso<EUR, number>

const myamount = isoEUR.wrap(0.85)		// :: EUR
const n = isoEUR.unwrap(myamount)		// :: number = 0.85