{-# LANGUAGE DataKinds #-}

type ToList d = '[d]