-- data Entity =

-- data Shape =

-- area :: Shape a -> a