module Definitions where

data T = T { a :: Int
           , b :: Int -> Bool
           , c :: Double
           }