sizeOf :: C.Type -> Length
sizeOf (isCTypeOf (Proxy :: Proxy Bool)             -> True) = 1
sizeOf :: C.Type -> Length
sizeOf (isCTypeOf (Proxy :: Proxy Bool)             -> True) = 1
sizeOf (isCTypeOf (Proxy :: Proxy Bool)             -> True) = 1