Test.hs+Weights.hs

-- Test.hs
{-# LANGUAGE ApplicativeDo #-}
{-# LANGUAGE BangPatterns #-}

module Test (mainTest) where

import Weights (Weight(..))

{-# ANN mainTest (Weight 2) #-}
mainTest :: IO ()
mainTest = do 
    x <- pure 5 
    y <- derp
    return ()

--{-# ANN derp (Weight 3) #-}
derp :: IO Integer
derp = pure 5


-------------------------------------
-- Weights.hs
{-# LANGUAGE DeriveDataTypeable #-}
module Weights (Weight(..)) where

import Data.Data (Data(..))
import Data.Typeable

newtype Weight = Weight Integer deriving (Data, Typeable)