Need coffee....

Sand.hs

module Sand
  ( Base (..)
  , Time
  )
  where

data Base
  = Sec
  | Nano
  | Pico
  deriving (Show, Eq, Ord)

data Time 
  = Time Base Int
  deriving Eq

getCurrentTime 
  :: MonadIO m
  => m Time

fromYeOldeTime
  :: UTCTime
  -> Time
  
fromStringly
  :: IsString s
  => s
  -> Maybe Time

>>> t <- getCurrentTime
>>> t ^. _Year
-- (2016, Time Sec 823742837423784) -- Don't know how this would work yet
>>> t ^. _Year . _Day
-- (278, Time Sec 823742837423784)

_Year
  :: Prism' (Int, Time) Time

_Day
  :: Prism' (Int, Time) Time

_Weekday
  :: Prism' (String, Time) Time