{-# LANGUAGE RequiredTypeArguments #-}

module Main where

import Data.Kind (Type)

class Storable (a :: Type) where
  sizeOf :: forall a -> Int
  
instance Storable Int where
  sizeOf _ = 8