newtype NonEmptyText = NonEmptyText {runText :: (Refined NonEmpty Text)}

newtype NonEmptyText = NonEmptyText {runText :: Refined NonEmpty Text}

newtype PositiveNumber = PositiveNumber {runNumber :: (Refined Positive Natural)}

newtype PositiveNumber = PositiveNumber {runNumber :: Refined Positive Natural}

    parseField s = (refineFail . decodeUtf8Lenient $ s) >>= return . NonEmptyText

    parseField s = NonEmptyText <$> (refineFail . decodeUtf8Lenient $ s)

            (\x -> refineFail x >>= return . PositiveNumber)
            (fromIntegral . fst <$> BS.readInt s)

            ((fmap PositiveNumber . refineFail) . fromIntegral . fst)
            (BS.readInt s)