module Tile.Shape ( Shape, size, ) where type Shape = [Int] size :: Shape -> Int size :: Shape -> Int size = Shape -> Int forall a. Num a => [a] -> a forall (t :: * -> *) a. (Foldable t, Num a) => t a -> a product