{-# LANGUAGE DataKinds #-}
module Main (main) where

type ToList d = '[d]