-- | Placeholder for future references
placeholder :: Note -> Note
placeholder n = thm $ do
    s ["This is a placeholder for future references"]
    n
placeholder :: Note -> Note
placeholder n = thm $ do
    s ["This is a placeholder for future references"]
    n
placeholder n = thm $ do
    s ["This is a placeholder for future references"]
    n