Is there anyway to apply a constraint within another constraint such that this
{-# LANGUAGE ConstraintKinds #-} {-# LAN