{-# LANGUAGE RankNTypes #-}

module MyLib where

import Data.Attoparsec.Text as P

data U = U { c :: forall i. (Integral i) => i }

z :: (Integral i) => Parser i
z = P.decimal

parse :: Parser U
parse = do
    c <- z
    return $ U { c = c }