generating `Typeable` types at runtime :3

Cursed.hs

module Cursed where

import Data.Typeable

data Some where Some :: Typeable x => x -> Some

data Null = Null
data O x = O x
data I x = I x

bit0, bit1 :: Some -> Some
bit0 (Some x) = Some (O x)
bit1 (Some x) = Some (I x)

w2Some :: Word -> Some
w2Some 0 = Some Null
w2Some n = let (n', r) = n `divMod` 2
  in (if r==0 then bit0 else bit1) (w2Some n')

typeOfSome (Some x) = typeOf x