module HiddenDataLib where

{-@ data Thing = Red Nat | Blue Nat @-}
data Thing = Red Int | Blue Int 

@  : :     @
blub :: Int -> Int 
blub x = x + 1

@ data Thing = Red Nat | Blue Nat @
module HiddenDataLib where

data Thing = Red Int | Blue Int 

@  : :     @
blub :: Int -> Int 
blub x = x + 1
