A type level programming experiment