Author Anonymous
 Title (undefined)
 Created at Sun Apr 12 14:17:53 UTC 2015
 Parent paste  #2514
{-# LANGUAGE NoMonomorphismRestriction #-}

import Diagrams.Prelude
import Diagrams.Backend.SVG.CmdLine

example = pad 1.1 $ ((circle 1 :: Diagram B R2) ||| circle 1) === circle 1
Result
Warning
Top-level binding with no type signature:
example :: QDiagram B R2 Any