daft punk lin manuel miranda